Hybrid Multiagent Systems with Timed Sycnhronization - Specification and Model Checking

@article{furbach08,
   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},
   url = {https://link.springer.com/10.1007/978-3-540-79043-3_13},
   urlpdf = {https://link.springer.com/content/pdf/10.1007/978-3-540-79043-3_13.pdf},
   volume = 4908,
   year = 2008
}