© University of Kent - Contact | Feedback | Legal | FOI | Cookies
FMOODS'97, IFIP TC6 WG6.1 International Conference on Formal Methods for Open Object-based Distributed Systems
Howard Bowman and John Derrick, editors
volume 2, Canterbury, UK, July 1997. Chapman and Hall.Bibtex Record
@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 = {182-196},
keywords = {determinacy analysis, Craig interpolants},
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},
}