Application of parametric model checking - The root contention protocol

G Bandini, ? ... [et Al]

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Original language	Undefined/Unknown
Title of host publication	Proceedings: CD-ROM
Editors	RH Sprague
Place of Publication	Piscataway
Publisher	IEEE Society
Pages	1-10
Number of pages	10
ISBN (Print)	0-7695-0981-9
Publication status	Published - 2001
Event	34th Annual Hawaii International Conference on Systems Sciences, Maui, Hawaii - Piscataway Duration: 3 Jan 2001 → 6 Jan 2001

Name
Publisher	IEEE

Conference	34th Annual Hawaii International Conference on Systems Sciences, Maui, Hawaii
Period	3/01/01 → 6/01/01

Keywords

@inproceedings{5399ea23f91d46c19e1b3ecd3f8f02ba,

title = "Application of parametric model checking - The root contention protocol",

keywords = "ZX Int.klas.verslagjaar < 2002",

author = "G Bandini and {... [et Al]}, ?",

year = "2001",

language = "Undefined/Unknown",

isbn = "0-7695-0981-9",

publisher = "IEEE Society",

pages = "1--10",

editor = "{RH Sprague}",

booktitle = "Proceedings: CD-ROM",

note = "null ; Conference date: 03-01-2001 Through 06-01-2001",

}

TY - GEN

T1 - Application of parametric model checking - The root contention protocol

AU - Bandini, G

AU - ... [et Al], ?

PY - 2001

Y1 - 2001

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 0-7695-0981-9

SP - 1

EP - 10

BT - Proceedings: CD-ROM

A2 - RH Sprague, null

PB - IEEE Society

CY - Piscataway

Y2 - 3 January 2001 through 6 January 2001

ER -