.gif)
Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking
| Title | Ein Ansatz zur Verifikation mehrerer Agenten durch Model Checking |
| Publication Type | Conference Proceedings |
| Year of Conference | 1999 |
| Authors | Pinger, R. |
| Conference Name | 11. Workshop Grundlagen von Datenbanken, Luisenthal, 25.- 28. Mai 1999 |
| Pagination | 82-86 |
| Publisher | Jenaer Schriften zur Mathematik und Informatik, Math/Inf/99/16, Friedrich-Schiller-Universität Jena |
| Abstract | no |
| Public | no |