Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms

T.E.J. Vos

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

Original language	Undefined/Unknown
Title of host publication	Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms
Publication status	Published - 1999

Keywords

@inproceedings{26f693f3418647068b06badf42c7e03b,

title = "Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms",

keywords = "Wiskunde en Informatica (WIIN)",

author = "T.E.J. Vos",

year = "1999",

language = "Undefined/Unknown",

booktitle = "Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms",

}