Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer
Thread-Modular Abstraction Refinement
CAV, 2003.
@inproceedings{CAV-2003-HenzingerJMQ,
author = "Thomas A. Henzinger and Ranjit Jhala and Rupak Majumdar and Shaz Qadeer",
booktitle = "{Proceedings of the 15th International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-540-45069-6_27",
isbn = "3-540-40524-0",
pages = "262--274",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Thread-Modular Abstraction Refinement}",
volume = 2725,
year = 2003,
}
Tags: