Application of parametric model checking - The root contention protocol

G Bandini, ? ... [et Al]

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

4 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationProceedings: CD-ROM
Editors RH Sprague
Place of PublicationPiscataway
PublisherIEEE Society
Pages1-10
Number of pages10
ISBN (Print)0-7695-0981-9
Publication statusPublished - 2001
Event34th Annual Hawaii International Conference on Systems Sciences, Maui, Hawaii - Piscataway
Duration: 3 Jan 20016 Jan 2001

Publication series

Name
PublisherIEEE

Conference

Conference34th Annual Hawaii International Conference on Systems Sciences, Maui, Hawaii
Period3/01/016/01/01

Keywords

  • ZX Int.klas.verslagjaar < 2002

Cite this