Loading...
research article
A Formal Specification Framework for Object-Oriented Distributed Systems
Type
research article
Web of Science ID
WOS:000088597800005
Authors
Publication date
2000
Published in
Volume
26
Issue
7
Start page
635
End page
652
Peer reviewed
REVIEWED
EPFL units
Available on Infoscience
September 20, 2005
Use this identifier to reference this record