Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
An inheritance-based technique for building simulation proofs incrementally
ICSE, 2000.
@inproceedings{ICSE-2000-KeidarKLS,
author = "Idit Keidar and Roger Khazan and Nancy A. Lynch and Alexander A. Shvartsman",
booktitle = "{Proceedings of the 22nd International Conference on Software Engineering}",
doi = "10.1145/337180.337358",
editor = "Carlo Ghezzi and Mehdi Jazayeri and Alexander L. Wolf",
isbn = "1-58113-206-9",
pages = "478--487",
publisher = "{ACM}",
title = "{An inheritance-based technique for building simulation proofs incrementally}",
year = 2000,
}