2007

@InProceedings{FM+07a,
author = {Furbach, Ulrich and Murray, Jan and Schmidsberger,
Falk and Stolzenburg, Frieder},
title = {Hybrid Multiagent Systems with Timed Synchronization
Specification and Model Checking},
booktitle = {Proceedings of the 5th Workshop on Programming
Multi-Agent Systems (ProMAS07)},
year = 2007,
note = {Held in conjunction with AAMAS 2007},
pdf = {http://www.uni-koblenz.de/~murray/Work/Papers/FM+07a.pdf}
}