Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk. State Space Reduction for Model Checking Agent Programs. In Louise A. Dennis, Olivier Boissier, Rafael H. Bordini, editors, Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Volume 7217 of Lecture Notes in Computer Science, pages 133-151, Springer, 2011. [doi]
@inproceedings{JongmansHR11,
title = {State Space Reduction for Model Checking Agent Programs},
author = {Sung-Shik T. Q. Jongmans and Koen V. Hindriks and M. Birna van Riemsdijk},
year = {2011},
doi = {10.1007/978-3-642-31915-0_8},
url = {http://dx.doi.org/10.1007/978-3-642-31915-0_8},
researchr = {https://researchr.org/publication/JongmansHR11},
cites = {0},
citedby = {0},
pages = {133-151},
booktitle = {Programming Multi-Agent Systems - 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers},
editor = {Louise A. Dennis and Olivier Boissier and Rafael H. Bordini},
volume = {7217},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-31914-3},
}