Zhe Dang, Richard A. Kemmerer
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems
ICSE, 2000.
@inproceedings{ICSE-2000-DangK,
author = "Zhe Dang and Richard A. Kemmerer",
booktitle = "{Proceedings of the 22nd International Conference on Software Engineering}",
doi = "10.1145/337180.337220",
editor = "Carlo Ghezzi and Mehdi Jazayeri and Alexander L. Wolf",
isbn = "1-58113-206-9",
pages = "345--354",
publisher = "{ACM}",
title = "{Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems}",
year = 2000,
}