Formal Methods for Open Object-Based Distributed Systems V

B. Jacobs (Editor), Arend Rensink (Editor)

Research output: Book/Report › Book editing › Academic

Name	IFIP Conference Proceedings
Publisher	Kluwer Academic Publishers
Volume	209

Keywords

@book{05cc9bb7b28647cab4d569941535f8b0,

title = "Formal Methods for Open Object-Based Distributed Systems V",

keywords = "EWI-6921",

editor = "B. Jacobs and Arend Rensink",

year = "2002",

language = "English",

isbn = "0-7923-7683-8",

series = "IFIP Conference Proceedings",

publisher = "Kluwer Academic Publishers",

address = "Netherlands",

}