Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking
 |
 |
 |
apice = {Furbach08},
author = {Furbach, Ulrich and Murray, Jan and Schmidsberger, Falk and Stolzenburg, Frieder},
booktitle = {Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers},
doi = {10.1007/978-3-540-79043-3_13},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking},
volume = 4908,
year = 2008
}