Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
Model Checking Multithreaded Programs by Means of Reduced Models
LDTA, 2004.
@article{LDTA-2004-GradaraSVV,
author = "Sara Gradara and Antonella Santone and Maria Luisa Villani and Gigliola Vaglini",
doi = "10.1016/j.entcs.2004.06.010",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "55--74",
title = "{Model Checking Multithreaded Programs by Means of Reduced Models}",
volume = 110,
year = 2004,
}