%0 Conference Paper %1 conf/nfm/ThompsonBV10 %A Thompson, Sarah %A Brat, Guillaume P. %A Venet, Arnaud %B NASA Formal Methods %D 2010 %E Muñoz, César A. %K dblp %P 171-181 %T Software Model Checking of ARINC-653 Flight Code with MCP. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2010.html#ThompsonBV10 %V NASA/CP-2010-216215

@inproceedings{conf/nfm/ThompsonBV10, added-at = {2012-07-17T00:00:00.000+0200}, author = {Thompson, Sarah and Brat, Guillaume P. and Venet, Arnaud}, biburl = {https://www.bibsonomy.org/bibtex/2ad46e8c7d30a5f250e691c751838a163/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2010}, editor = {Muñoz, César A.}, interhash = {d7d46e97e1814f11ab44e090b323f107}, intrahash = {ad46e8c7d30a5f250e691c751838a163}, keywords = {dblp}, pages = {171-181}, series = {NASA Conference Proceedings}, timestamp = {2016-06-24T11:59:29.000+0200}, title = {Software Model Checking of ARINC-653 Flight Code with MCP.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2010.html#ThompsonBV10}, volume = {NASA/CP-2010-216215}, year = 2010 }