School of Computing

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},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014