Comparing Extended Z With a Heterogeneous Notation for Reasoning About Time and Space
doi 10.1007/bfb0056036
Full Text
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
Springer-Verlag
Available in full text
Unknown
Springer-Verlag