Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny. Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. In Hoa Khanh Dam, Jeremy V. Pitt, Yang Xu, Guido Governatori, Takayuki Ito, editors, PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Volume 8861 of Lecture Notes in Computer Science, pages 107-115, Springer, 2014. [doi]
@inproceedings{Wozna-SzczesniakSZZ14,
title = {Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic},
author = {Bozena Wozna-Szczesniak and Ireneusz Szczesniak and Agnieszka Zbrzezny and Andrzej Zbrzezny},
year = {2014},
doi = {10.1007/978-3-319-13191-7_9},
url = {http://dx.doi.org/10.1007/978-3-319-13191-7_9},
researchr = {https://researchr.org/publication/Wozna-SzczesniakSZZ14},
cites = {0},
citedby = {0},
pages = {107-115},
booktitle = {PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings},
editor = {Hoa Khanh Dam and Jeremy V. Pitt and Yang Xu and Guido Governatori and Takayuki Ito},
volume = {8861},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-13190-0},
}