%0 Conference Paper %1 conf/fsttcs/PeledPZ01 %A Peled, Doron A. %A Pnueli, Amir %A Zuck, Lenore D. %B FSTTCS %D 2001 %E Hariharan, Ramesh %E Mukund, Madhavan %E Vinay, V. %I Springer %K dblp %P 292-304 %T From Falsification to Verification. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2001.html#PeledPZ01 %V 2245 %@ 3-540-43002-4

@inproceedings{conf/fsttcs/PeledPZ01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Peled, Doron A. and Pnueli, Amir and Zuck, Lenore D.}, biburl = {https://www.bibsonomy.org/bibtex/24e79b84eb09c2a14480c3d8dde979d3e/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2001}, editor = {Hariharan, Ramesh and Mukund, Madhavan and Vinay, V.}, ee = {https://doi.org/10.1007/3-540-45294-X_25}, interhash = {f558bd7f010846f2e8f24a0b7f46f8bf}, intrahash = {4e79b84eb09c2a14480c3d8dde979d3e}, isbn = {3-540-43002-4}, keywords = {dblp}, pages = {292-304}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:09:02.000+0200}, title = {From Falsification to Verification.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2001.html#PeledPZ01}, volume = 2245, year = 2001 }