Veröffentlichungen

@inproceedings{Kiekbusch14,
Author = {Lisa Kiekbusch and Christopher Armbrust and Karsten Berns},
Title = {Formal Verification of Behaviour Networks Including Hardware Failures},
Booktitle = {Proceedings of the 13th International Conference on Intelligent Autonomous Systems (IAS-13)},
Year = {2014},
Address = {Padova, Italy},
Month = {July 15-19},
}