A timed verification of the IEEE 1394 Leader Election Protocol

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

15 Citaten (Scopus)

Originele taal-2	Engels
Pagina's (van-tot)	165-194
Tijdschrift	Formal Methods in System Design
Volume	19
Nummer van het tijdschrift	2
DOI's	https://doi.org/10.1023/A:1011284000753
Status	Gepubliceerd - 2001

Toegang tot document

@article{25b12f5a0d1c433c85504e227ce023d5,

title = "A timed verification of the IEEE 1394 Leader Election Protocol",

author = "J.M.T. Romijn",

year = "2001",

doi = "10.1023/A:1011284000753",

language = "English",

volume = "19",

pages = "165--194",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer",

number = "2",

}