conference paper Mona Qanadilo author Sufyan Samara author Yuhong Zhao author 672 department 2013 eng M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013. 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. M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013. Qanadilo, M., Samara, S., &#38; Zhao, Y. (2013). Accelerating Online Model Checking. <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>. @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} } Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>. ; 2013. Qanadilo, Mona, et al. “Accelerating Online Model Checking.” <i>6’th Latin-American Symposium on Dependable Computing (LADC 2013)</i>, 2013. 255572021-10-06T10:43:15Z2022-01-06T06:57:07Z