@misc{RDH+3,
title = {Space-Reduction Strategies for Model Checking Dynamic Software },
author = {Robby, and Dwyer, Matthew B. and Hatcliff, John and Iosif, Radu},
year = {2003},
journal = {Electr. Notes Theor. Comput. Sci.},
number = {3},
pages = {499-517},
volume = {89},
team = {DCS, PACSS},
}