Roberto Sebastiani, Eli Singerman, Stefano Tonetta, Moshe Y. Vardi
GSTE Is Partitioned Model Checking
CAV, 2004.
@inproceedings{CAV-2004-SebastianiSTV,
author = "Roberto Sebastiani and Eli Singerman and Stefano Tonetta and Moshe Y. Vardi",
booktitle = "{Proceedings of the 16th International Conference on Computer Aided Verification}",
doi = "10.1007/978-3-540-27813-9_18",
isbn = "3-540-22342-8",
pages = "229--241",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{GSTE Is Partitioned Model Checking}",
volume = 3114,
year = 2004,
}
Tags: