Treffer: Formal Methods for Open Object-Based Distributed Systems
Title:
Formal Methods for Open Object-Based Distributed Systems
Publisher Information:
Springer US, 1999.
Publication Year:
1999
Document Type:
Buch
Book
DOI:
10.1007/978-0-387-35562-7
Rights:
Springer TDM
Accession Number:
edsair.doi...........63968930bbc20d4b601b32942863ee0e
Database:
OpenAIRE