@inproceedings{IS00,
title = {Using Garbage Collection in Model Checking },
author = {Iosif, Radu and Sisto, Riccardo},
year = {2000},
booktitle = {SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30 - September 1, 2000, Proceedings},
pages = {20-33},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1885},
team = {DCS,PACSS},
}
