Veröffentlichungen

@inproceedings{Armbrust13a,
Author = {Christopher Armbrust and Lisa Kiekbusch and Thorsten Ropertz and Karsten Berns},
Title = {Quantitative Aspects of Behaviour Network Verification},
Booktitle = {Proceedings of the 26th Canadian Conference on Artificial Intelligence},
Year = {2013},
Editor = {Osmar Zaiane and Sandra Zilles},
Volume = {7884},
Series = {Lecture Notes in Computer Science (LNCS)},
Address = {Regina, Saskatchewan, Canada},
Month = {May 28-31},
Publisher = {Springer},
}