Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
 |
 |
@article{furbach08,
Author = {Furbach, Ulrich and Murray, Jan and Schmidsberger, Falk and Stolzenburg, Frieder},
Series = {Lecture Notes in Computer Science},
Title = {Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking},
Volume = {4908},
Year = {2008},
Publisher = {Springer},
DOI = {10.1007/978-3-540-79043-3_13},
Booktitle = {Programming Multi-Agent Systems
5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers}
}
Author = {Furbach, Ulrich and Murray, Jan and Schmidsberger, Falk and Stolzenburg, Frieder},
Series = {Lecture Notes in Computer Science},
Title = {Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking},
Volume = {4908},
Year = {2008},
Publisher = {Springer},
DOI = {10.1007/978-3-540-79043-3_13},
Booktitle = {Programming Multi-Agent Systems
5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers}
}