@inproceedings{VMCAI-2014-WangH,
author = "Chao Wang and Kevin Hoang",
booktitle = "{Proceedings of the 15th International Conference on Verification, Model Checking and Abstract Interpretation}",
doi = "10.1007/978-3-642-54013-4_21",
isbn = "978-3-642-54012-7",
pages = "376--394",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Precisely Deciding Control State Reachability in Concurrent Traces with Limited Observability}",
volume = 8318,
year = 2014,
}
Tags: