@inproceedings{f262c1d2843a4a45baab652ef3a99a7e,
title = "Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking",
author = "Tatiana Rybina and Andrei Voronkov and Ed Brinksma and Larsen, {Kim Guldstrand}",
year = "2002",
language = "English",
isbn = "3-540-43997-8",
volume = "2404",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "386--400",
editor = "Ed Brinksma and Larsen, {Kim Guldstrand}",
booktitle = "CAV",
address = "United States",
note = "Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/cav/cav2002.html#RybinaV02http://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/cav/RybinaV02",
}