Conference
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
Authors
Paige RF; Hehner ECR
Editors
Goos G; Hartmanis J; van Leeuwen J; Wing JM; Woodcock J; Davies J
Volume
1708
Pagination
pp. 530-550
Publisher
Springer Berlin Heidelberg
Publication Date
January 1, 1999
DOI
10.1007/3-540-48119-2_30