An exercise in protocol systesis

Jeroen Schot, P.H.J. van Eijk

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

Original language	Undefined
Title of host publication	FORTE 91 (Fourth International Conference on Formal Description Techniques
Place of Publication	Sydney, Australia
Pages	121-135
Number of pages	15
Publication status	Published - 1 Sept 1991

Keywords

@inproceedings{746358a9b6b040408258f4c0f2a9504a,

title = "An exercise in protocol systesis",

keywords = "METIS-119474",

author = "Jeroen Schot and \{van Eijk\}, P.H.J.",

year = "1991",

month = sep,

day = "1",

language = "Undefined",

pages = "121--135",

booktitle = "FORTE 91 (Fourth International Conference on Formal Description Techniques",

}