%0 Conference Paper %1 conf/sefm/MorseCNF11 %A Morse, Jeremy %A Cordeiro, Lucas C. %A Nicole, Denis A. %A Fischer, Bernd %B SEFM %D 2011 %E Barthe, Gilles %E Pardo, Alberto %E Schneider, Gerardo %I Springer %K dblp %P 302-317 %T Context-Bounded Model Checking of LTL Properties for ANSI-C Software. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#MorseCNF11 %V 7041 %@ 978-3-642-24689-0

@inproceedings{conf/sefm/MorseCNF11, added-at = {2018-11-14T00:00:00.000+0100}, author = {Morse, Jeremy and Cordeiro, Lucas C. and Nicole, Denis A. and Fischer, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2f6a03fd14e3c865d824c79bcc4b815f7/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2011}, editor = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo}, ee = {https://www.wikidata.org/entity/Q57658790}, interhash = {fbd3a212b88ec99a780e1c0a1d9b3d6a}, intrahash = {f6a03fd14e3c865d824c79bcc4b815f7}, isbn = {978-3-642-24689-0}, keywords = {dblp}, pages = {302-317}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:34:06.000+0200}, title = {Context-Bounded Model Checking of LTL Properties for ANSI-C Software.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#MorseCNF11}, volume = 7041, year = 2011 }