Shing-Chi Cheung, Jeff Kramer
Checking Subsystem Safety Properties in Compositional Reachability Analysis
ICSE, 1996.
@inproceedings{ICSE-1996-CheungK,
acmid = "227726.227755",
author = "Shing-Chi Cheung and Jeff Kramer",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering}",
editor = "Hans Dieter Rombach and Thomas Stephen Edward Maibaum and Marvin V. Zelkowitz",
isbn = "0-8186-7246-3",
pages = "144--154",
publisher = "{IEEE Computer Society}",
title = "{Checking Subsystem Safety Properties in Compositional Reachability Analysis}",
year = 1996,
}