Veröffentlichungen

@inproceedings{Armbrust12a,
Author = {Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns},
Title = {Verification of Behaviour Networks Using Finite-State Automata},
Booktitle = {KI 2012: Advances in Artificial Intelligence},
Year = {2012},
Editor = {Birte Glimm and Antonio Kr{\"u}ger},
Address = {Saarbr{\"u}cken, Germany},
Month = {September 24-27},
Publisher = {Springer},
Note = {http://www.shaker.de/de/content/catalogue/index.asp?lang=de\&ID=8\&ISBN=978-3-8440-0798-5},
}