{"language":[{"iso":"eng"}],"publication":"6'th Latin-American Symposium on Dependable Computing (LADC 2013)","citation":{"mla":"Qanadilo, Mona, et al. “Accelerating Online Model Checking.” <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>, 2013.","bibtex":"@inproceedings{Qanadilo_Samara_Zhao_2013, title={Accelerating Online Model Checking}, booktitle={6’th Latin-American Symposium on Dependable Computing (LADC 2013)}, author={Qanadilo, Mona and Samara, Sufyan and Zhao, Yuhong}, year={2013} }","chicago":"Qanadilo, Mona, Sufyan Samara, and Yuhong Zhao. “Accelerating Online Model Checking.” In <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>, 2013.","apa":"Qanadilo, M., Samara, S., &#38; Zhao, Y. (2013). Accelerating Online Model Checking. <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>.","ama":"Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>. ; 2013.","short":"M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.","ieee":"M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013."},"user_id":"21240","status":"public","title":"Accelerating Online Model Checking","year":"2013","type":"conference","_id":"25557","author":[{"last_name":"Qanadilo","first_name":"Mona","full_name":"Qanadilo, Mona"},{"first_name":"Sufyan","full_name":"Samara, Sufyan","last_name":"Samara"},{"first_name":"Yuhong","full_name":"Zhao, Yuhong","last_name":"Zhao"}],"department":[{"_id":"672"}],"date_updated":"2022-01-06T06:57:07Z","date_created":"2021-10-06T10:43:15Z"}