@inproceedings{GR02-sas, author = {R. Giacobazzi and F. Ranzato}, title = {States vs. Traces in Model Checking by Abstract Interpretation}, booktitle = {Proc.\ of The 9th International Static Analysis Symposium, SAS'02}, year = 2002, series = {Lecture Notes in Computer Science}, editor = {M. Hermeneghildo and G. Puebla}, publisher = {Springer-Verlag}, volume = {2477}, pages = {461-476}}