Article

Article detail, metadata, authors, and available full-text links.

Paper reader

Loading paper...

book-chapter · 2010

7 citationsDOI: https://doi.org/10.1007/978-1-4419-6984-2_4

Directions for Agent Model Checking*