Formal Methods for Open Object-Based Distributed Systems IV
Subtitle: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6-8, 2000, Stanford, California, USA
By: edited by Scott F. Smith, Carolyn L. Talcott
Contributors: Talcott, Carolyn L.
Series: IFIP Advances in Information and Communication Technology, 1868-4238 -- 49; IFIP advances in information and communication technology -- 49.
Publisher: Springer US; Imprint: Springer
Published: 2000
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] :
ISBN-13: 9780387355207