@inproceedings{e1b4439904ce4c1fad21180114bf7792,
title = "Parametric verification of the IEEE 1394a root contention protocol using LPMC",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "WJ Toetenel and {Lutje Spelberg}, RF and G Bandini",
year = "2000",
language = "Undefined/Unknown",
isbn = "0-7695-0930-4",
publisher = "IEEE",
pages = "207--214",
editor = "{DC Young}",
booktitle = "Proceedings",
address = "United States",
note = "7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea ; Conference date: 12-12-2000 Through 14-12-2000",
}