Specifying and Proving Communication Closedness in Protocols

W.P.M. Janssen, Jakob Zwiers

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

Original language	Undefined
Title of host publication	13th IFIP Symposium on Protocol Specification
Place of Publication	Liege, Belgium
Pages	323-339
Publication status	Published - 8 Feb 1993

Keywords

@inproceedings{90fe29211d6a4259ac2df98fee80d04d,

title = "Specifying and Proving Communication Closedness in Protocols",

keywords = "METIS-119311",

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

year = "1993",

month = feb,

day = "8",

language = "Undefined",

isbn = "0-444-81648-8",

pages = "323--339",

booktitle = "13th IFIP Symposium on Protocol Specification",

}