Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. In Sigeru Omatu, José Neves, Juan M. Corchado Rodríguez, Juan F. De Paz Santana, Sara Rodríguez-González, editors, Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013. Volume 217 of Advances in Intelligent Systems and Computing, pages 483-491, Springer, 2013. [doi]
@inproceedings{MeskiWZZ13,
title = {Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic},
author = {Artur Meski and Bozena Wozna-Szczesniak and Agnieszka Zbrzezny and Andrzej Zbrzezny},
year = {2013},
doi = {10.1007/978-3-319-00551-5_58},
url = {http://dx.doi.org/10.1007/978-3-319-00551-5_58},
researchr = {https://researchr.org/publication/MeskiWZZ13},
cites = {0},
citedby = {0},
pages = {483-491},
booktitle = {Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013},
editor = {Sigeru Omatu and José Neves and Juan M. Corchado Rodríguez and Juan F. De Paz Santana and Sara Rodríguez-González},
volume = {217},
series = {Advances in Intelligent Systems and Computing},
publisher = {Springer},
isbn = {978-3-319-00550-8},
}