%0 Conference Paper %1 conf/fmics/Katoen11 %A Katoen, Joost-Pieter %B FMICS %D 2011 %E Salaün, Gwen %E Schätz, Bernhard %I Springer %K dblp %P 1-4 %T Towards Trustworthy Aerospace Systems: An Experience Report. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2011.html#Katoen11 %V 6959 %@ 978-3-642-24430-8

@inproceedings{conf/fmics/Katoen11, added-at = {2018-11-14T00:00:00.000+0100}, author = {Katoen, Joost-Pieter}, biburl = {https://www.bibsonomy.org/bibtex/211d2dbc137094dacbd39417cd69ef56f/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2011}, editor = {Salaün, Gwen and Schätz, Bernhard}, ee = {https://www.wikidata.org/entity/Q57801362}, interhash = {6e89c88b77ffeeb7e436874459fd2bbe}, intrahash = {11d2dbc137094dacbd39417cd69ef56f}, isbn = {978-3-642-24430-8}, keywords = {dblp}, pages = {1-4}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:51:45.000+0200}, title = {Towards Trustworthy Aerospace Systems: An Experience Report.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2011.html#Katoen11}, volume = 6959, year = 2011 }