Accelerating Online Model Checking

M. Qanadilo, S. Samara, Y. Zhao, in: 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.

Download
No fulltext has been uploaded.
Conference Paper | English
Author
; ;
Publishing Year
Proceedings Title
6'th Latin-American Symposium on Dependable Computing (LADC 2013)
LibreCat-ID

Cite this

Qanadilo M, Samara S, Zhao Y. Accelerating Online Model Checking. In: 6’th Latin-American Symposium on Dependable Computing (LADC 2013). ; 2013.
Qanadilo, M., Samara, S., & Zhao, Y. (2013). Accelerating Online Model Checking. 6’th Latin-American Symposium on Dependable Computing (LADC 2013).
@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, Mona, Sufyan Samara, and Yuhong Zhao. “Accelerating Online Model Checking.” In 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.
M. Qanadilo, S. Samara, and Y. Zhao, “Accelerating Online Model Checking,” 2013.
Qanadilo, Mona, et al. “Accelerating Online Model Checking.” 6’th Latin-American Symposium on Dependable Computing (LADC 2013), 2013.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar