@inproceedings{e568fe2272ce43b6988bd1a88dffebbb,
title = "Application of parametric model checking-the root contention protocol",
keywords = "ZX Int.klas.verslagjaar < 2002",
author = "G Bandini and {Lutje Spelberg}, RF and {de Rooij}, RCM and WJ Toetenel",
year = "2000",
language = "Undefined/Unknown",
isbn = "90-803086-5-X",
publisher = "Advanced School for Computing and Imaging",
pages = "21--28",
editor = "{LJ Vliet}, van and {JWJ Heijnsdijk} and {T Kielmann} and {PMW Knijnenburg}",
booktitle = "ASCI 2000 proceedings",
note = "6th Annual conference of the Advanced School for Computing and Imaging, Lommel ; Conference date: 14-06-2000 Through 16-06-2000",
}