Alternative Specification and Verification of a Period State Exchange Protocol

A. Oláh, S.M. Heemstra de Groot

Research output: Contribution to journal › Article › Academic › peer-review

Original language	Undefined
Pages (from-to)	-
Number of pages	5
Journal	IEEE/ACM transactions on networking
Volume	5
Issue number	4
Publication status	Published - 1997

Keywords

@article{3360481faf554d84bba4ab1abff4df80,

title = "Alternative Specification and Verification of a Period State Exchange Protocol",

keywords = "METIS-111820",

author = "A. Ol{\'a}h and {Heemstra de Groot}, S.M.",

year = "1997",

language = "Undefined",

volume = "5",

pages = "--",

journal = "IEEE/ACM transactions on networking",

issn = "1063-6692",

publisher = "IEEE",

number = "4",

}