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