%0 Conference Paper %1 conf/cade/Lev-AmiIRSSY05 %A Lev-Ami, Tal %A Immerman, Neil %A Reps, Thomas W. %A Sagiv, Shmuel %A Srivastava, Siddharth %A Yorsh, Greta %B CADE %D 2005 %E Nieuwenhuis, Robert %I Springer %K dblp %P 99-115 %T Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. %U http://dblp.uni-trier.de/db/conf/cade/cade2005.html#Lev-AmiIRSSY05 %V 3632 %@ 3-540-28005-7

@inproceedings{conf/cade/Lev-AmiIRSSY05, added-at = {2024-05-05T00:00:00.000+0200}, author = {Lev-Ami, Tal and Immerman, Neil and Reps, Thomas W. and Sagiv, Shmuel and Srivastava, Siddharth and Yorsh, Greta}, biburl = {https://www.bibsonomy.org/bibtex/2acdd2a9786334be9ce5b3d161207a72f/dblp}, booktitle = {CADE}, crossref = {conf/cade/2005}, editor = {Nieuwenhuis, Robert}, ee = {https://doi.org/10.1007/11532231_8}, interhash = {a97d048dcd350b56d9b1d905834b7dd5}, intrahash = {acdd2a9786334be9ce5b3d161207a72f}, isbn = {3-540-28005-7}, keywords = {dblp}, pages = {99-115}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T08:38:32.000+0200}, title = {Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2005.html#Lev-AmiIRSSY05}, volume = 3632, year = 2005 }