© University of Kent - Contact | Feedback | Legal
The University of Kent, Canterbury, Kent, CT2 7NZ, T +44 (0)1227 764000
@proceedings{351,
author = {},
title = {{FMOODS}'97, {IFIP} {TC6} {WG6.1} {I}nternational {C}onference on {F}ormal {M}ethods for {O}pen {O}bject-based {D}istributed {S}ystems},
month = {July},
year = {1997},
pages = {470},
keywords = {Formal Methods, Object Oriented, Open Systems, Distributed Systems},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/351},
ISBN = {0 412 82040 4},
address = {Canterbury, UK},
editor = {Howard Bowman and John Derrick},
publisher = {Chapman and Hall},
volume = {2},
}