%0 Conference Paper %1 conf/vstte/ClarkeGJV05 %A Clarke, Edmund M. %A Gupta, Anubhav %A Jain, Himanshu %A Veith, Helmut %B VSTTE %D 2005 %E Meyer, Bertrand %E Woodcock, Jim %I Springer %K dblp %P 251-255 %T Model Checking: Back and Forth between Hardware and Software. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#ClarkeGJV05 %V 4171 %@ 978-3-540-69147-1

@inproceedings{conf/vstte/ClarkeGJV05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Clarke, Edmund M. and Gupta, Anubhav and Jain, Himanshu and Veith, Helmut}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2603714620b88d901b6c7ff1757591fb3/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2005}, editor = {Meyer, Bertrand and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-69149-5_27}, interhash = {fb53ab0b17d8a97f2096f06801858179}, intrahash = {603714620b88d901b6c7ff1757591fb3}, isbn = {978-3-540-69147-1}, keywords = {dblp}, pages = {251-255}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:40:54.000+0200}, title = {Model Checking: Back and Forth between Hardware and Software.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#ClarkeGJV05}, volume = 4171, year = 2005 }