Application of parametric model checking-the root contention protocol

G Bandini, RF Lutje Spelberg, RCM de Rooij, WJ Toetenel

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationASCI 2000 proceedings
Editorsvan LJ Vliet, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg
Place of PublicationDelft
PublisherAdvanced School for Computing and Imaging
Pages21-28
Number of pages8
ISBN (Print)90-803086-5-X
Publication statusPublished - 2000
Event6th Annual conference of the Advanced School for Computing and Imaging, Lommel - Delft
Duration: 14 Jun 200016 Jun 2000

Publication series

Name
PublisherAdvanced School for Computing and Imaging

Conference

Conference6th Annual conference of the Advanced School for Computing and Imaging, Lommel
Period14/06/0016/06/00

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this

Bandini, G., Lutje Spelberg, RF., de Rooij, RCM., & Toetenel, WJ. (2000). Application of parametric model checking-the root contention protocol. In V. LJ Vliet, JWJ Heijnsdijk, T Kielmann, & PMW Knijnenburg (Eds.), ASCI 2000 proceedings (pp. 21-28). Advanced School for Computing and Imaging.