![](/img/cover-not-exists.png)
Model Checking Multithreaded Programs by Means of Reduced Models
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola VagliniVolume:
110
Year:
2004
Language:
english
Pages:
20
DOI:
10.1016/j.entcs.2004.06.010
File:
PDF, 348 KB
english, 2004