TY  - BOOK
AU  - Steffen,Martin
AU  - Zavattaro,Gianluigi
ED  - International Conference on Formal Methods for Open Object-Based Distributed Systems
ED  - SpringerLink (Online service)
TI  - Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings 
SN  - 9783540315568 (electronic bk.)
AV  - QA76.9.D5 I573 2005
U1  - 004.36 22
PY  - 2005///
CY  - Berlin Heidelberg
PB  - Springer Science+Business Media, Inc.
KW  - Electronic data processing
KW  - Distributed processing
KW  - Congresses
KW  - Object-oriented programming (Computer science)
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/b136996
ER  -