Conference
Inspection of Concurrent Systems: Combining Tables, Theorem Proving and Model Checking.
Authors
Pantelic V; Jin X-H; Lawford M; Parnas DL
Editors
Arabnia HR; Reza H
Pagination
pp. 629-635
Publisher
CSREA Press
Publication Date
December 1, 2005
ISBN-10
1-932415-91-2
Conference proceedings
Software Engineering Research and Practice