Formal methods for open object-based distributed systems:7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Formal Methods for Open Object-Based Distributed Systems (7th 2005 Athens, Greece); LINK (Online service)
Group Author: Steffen Martin.; Zavattaro Gianluigi.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c2005.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 3535
Subjects:
Online Access: http://dx.doi.org/10.1007/b136996
Publication Frequency: Print version also available.
Index Number: TP338
CLC: TP338.8-532
Contents: Title from title screen (viewed June 24, 2005)
Electronic book available via Springer Link.
Print version originally published in 2005.
Access restricted to subscribing institutions.