Application of parametric model checking-the root contention protocol

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

Application of parametric model checking-the root contention protocol

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

Software Engineering

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

Original language	Undefined/Unknown
Title of host publication	ASCI 2000 proceedings
Editors	van LJ Vliet, JWJ Heijnsdijk, T Kielmann, PMW Knijnenburg
Place of Publication	Delft
Publisher	Advanced School for Computing and Imaging
Pages	21-28
Number of pages	8
ISBN (Print)	90-803086-5-X
Publication status	Published - 2000
Event	6th Annual conference of the Advanced School for Computing and Imaging, Lommel - Delft Duration: 14 Jun 2000 → 16 Jun 2000

Publication series

Name
Publisher	Advanced School for Computing and Imaging

Conference

Conference	6th Annual conference of the Advanced School for Computing and Imaging, Lommel
Period	14/06/00 → 16/06/00

Keywords

ZX Int.klas.verslagjaar < 2002

Cite this

@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",

}

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. Advanced School for Computing and Imaging, Delft, pp. 21-28, 6th Annual conference of the Advanced School for Computing and Imaging, Lommel, 14/06/00.

Application of parametric model checking-the root contention protocol. / Bandini, G; Lutje Spelberg, RF; de Rooij, RCM et al.
ASCI 2000 proceedings. ed. / van LJ Vliet; JWJ Heijnsdijk; T Kielmann; PMW Knijnenburg. Delft: Advanced School for Computing and Imaging, 2000. p. 21-28.

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

TY - GEN

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

AU - Bandini, G

AU - Lutje Spelberg, RF

AU - de Rooij, RCM

AU - Toetenel, WJ

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 90-803086-5-X

SP - 21

EP - 28

BT - ASCI 2000 proceedings

A2 - LJ Vliet, van

A2 - JWJ Heijnsdijk, null

A2 - T Kielmann, null

A2 - PMW Knijnenburg, null

PB - Advanced School for Computing and Imaging

CY - Delft

T2 - 6th Annual conference of the Advanced School for Computing and Imaging, Lommel

Y2 - 14 June 2000 through 16 June 2000

ER -