%0 Conference Paper %1 conf/emsoft/CousotC01 %A Cousot, Patrick %A Cousot, Radhia %B EMSOFT %D 2001 %E Henzinger, Thomas A. %E Kirsch, Christoph M. %I Springer %K dblp %P 97-113 %T Verification of Embedded Software: Problems and Perspectives. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#CousotC01 %V 2211 %@ 3-540-42673-6

@inproceedings{conf/emsoft/CousotC01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cousot, Patrick and Cousot, Radhia}, biburl = {https://www.bibsonomy.org/bibtex/2a08800165c31217f03ece1ab13e549b1/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2001}, editor = {Henzinger, Thomas A. and Kirsch, Christoph M.}, ee = {https://doi.org/10.1007/3-540-45449-7_8}, interhash = {c8a98c2c5c5d0713bdf90f47ab1a0c8d}, intrahash = {a08800165c31217f03ece1ab13e549b1}, isbn = {3-540-42673-6}, keywords = {dblp}, pages = {97-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:40.000+0200}, title = {Verification of Embedded Software: Problems and Perspectives.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#CousotC01}, volume = 2211, year = 2001 }