@misc{indiciae5401bb50d42b,
  title = {Verifying Multi-Agent Systems via Unbounded Model Checking},
  author = {Kacprzak, M. and Lomuscio, A. and Lasica, T. and Penczek, W. and Szreter, M.},
  year = {2004},
  url = {https://ntrs.nasa.gov/citations/20050137708},
  note = {Source identifier: 20050137708}
}