Formal Methods for Open Object-Based Distributed Systems
Subtitle: IFIP TC6 / WG6. 1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems , February 15-18, 1999, Florence, Italy
Publisher: Springer
Published: 2013
Language: eng
ISBN-13: 9780387355627