%0 Conference Paper %1 conf/ias/KiekbuschAB14 %A Kiekbusch, Lisa %A Armbrust, Christopher %A Berns, Karsten %B IAS %D 2014 %E Menegatti, Emanuele %E Michael, Nathan %E Berns, Karsten %E Yamaguchi, Hiroaki %I Springer %K dblp %P 1571-1582 %T Formal Verification of Behaviour Networks Including Hardware Failures. %U http://dblp.uni-trier.de/db/conf/ias/ias2014.html#KiekbuschAB14 %V 302 %@ 978-3-319-08337-7

@inproceedings{conf/ias/KiekbuschAB14, added-at = {2016-01-26T00:00:00.000+0100}, author = {Kiekbusch, Lisa and Armbrust, Christopher and Berns, Karsten}, biburl = {https://www.bibsonomy.org/bibtex/2a34d00f233666e27bc9a66b829d74775/dblp}, booktitle = {IAS}, crossref = {conf/ias/2014}, editor = {Menegatti, Emanuele and Michael, Nathan and Berns, Karsten and Yamaguchi, Hiroaki}, ee = {http://dx.doi.org/10.1007/978-3-319-08338-4_113}, interhash = {86ca8e1cd6a8affd0d39a73e1f65df22}, intrahash = {a34d00f233666e27bc9a66b829d74775}, isbn = {978-3-319-08337-7}, keywords = {dblp}, pages = {1571-1582}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2016-01-27T11:40:06.000+0100}, title = {Formal Verification of Behaviour Networks Including Hardware Failures.}, url = {http://dblp.uni-trier.de/db/conf/ias/ias2014.html#KiekbuschAB14}, volume = 302, year = 2014 }