Conference
Checking Subsystem Safety Properties in Compositional Reachability Analysis.
Authors
Cheung S-C; Kramer J
Editors
Rombach HD; Maibaum TSE; Zelkowitz MV
Pagination
pp. 144-154
Publisher
IEEE Computer Society
Publication Date
January 1, 1996
ISBN-10
0-8186-7246-3
Conference proceedings
ICSE