@inproceedings{DBLP:conf/ki/MohammedS09,
author = {Ammar Mohammed and
Christian Schwarz},
title = {HieroMate: A Graphical Tool for Specification and Verification
of Hierarchical Hybrid Automata},
booktitle = {KI},
year = {2009},
pages = {695-702},
ee = {http://dx.doi.org/10.1007/978-3-642-04617-9_87},
crossref = {DBLP:conf/ki/2009},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ki/2009,
editor = {B{\"a}rbel Mertsching and
Marcus Hund and
Muhammad Zaheer Aziz},
title = {KI 2009: Advances in Artificial Intelligence, 32nd Annual
German Conference on AI, Paderborn, Germany, September 15-18,
2009. Proceedings},
booktitle = {KI},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5803},
year = {2009},
isbn = {978-3-642-04616-2},
ee = {http://dx.doi.org/10.1007/978-3-642-04617-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
