Protocol Design by Layered Decomposition, a Compositional Approach

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

Original language	Undefined
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems
Pages	307-326
Number of pages	20
Publication status	Published - 1 Sep 1992

Keywords

@inproceedings{bc0116c2a4b1405b97938258ace7944c,

title = "Protocol Design by Layered Decomposition, a Compositional Approach",

keywords = "METIS-119895",

author = "W.P.M. Janssen and Jakob Zwiers",

year = "1992",

month = sep,

day = "1",

language = "Undefined",

pages = "307--326",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems",

}