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