Verifying Multi-agent Systems via Unbounded Model Checking
 |
 |
@article{unboundedVerification05,
Author = {Kacprzak, M. and Lomuscio, A. and Lasica, T. and Penczek, W. and Szreter, M.},
Journal = {Lecture Notes in Computer Science},
Title = {Verifying Multi-agent Systems via Unbounded Model Checking},
Volume = {3228},
Year = {2005},
Publisher = {Springer},
DOI = {10.1007/978-3-540-30960-4_13}
}
Author = {Kacprzak, M. and Lomuscio, A. and Lasica, T. and Penczek, W. and Szreter, M.},
Journal = {Lecture Notes in Computer Science},
Title = {Verifying Multi-agent Systems via Unbounded Model Checking},
Volume = {3228},
Year = {2005},
Publisher = {Springer},
DOI = {10.1007/978-3-540-30960-4_13}
}