Reasoning about histories in object-based distributed systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec
Publisher	Wolters Kluwer
Publication status	Published - 1999

Keywords

@inproceedings{733553b99d0e41dcb672420f87bfbcda,

title = "Reasoning about histories in object-based distributed systems",

keywords = "Wiskunde en Informatica (WIIN)",

author = "{de Boer}, F.S.",

year = "1999",

language = "Undefined/Unknown",

booktitle = "Proceedings IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec",

publisher = "Wolters Kluwer",

}