Parametric verification of the IEEE 1394a root contention protocol using LPMC

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
Editors	DC Young
Place of Publication	Los Alamitos
Publisher	IEEE
Pages	207-214
Number of pages	8
ISBN (Print)	0-7695-0930-4
Publication status	Published - 2000
Event	7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea - Los Alamitos Duration: 12 Dec 2000 → 14 Dec 2000

Name
Publisher	IEEE Computer Society

Conference	7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea
Period	12/12/00 → 14/12/00

Keywords

@inproceedings{e1b4439904ce4c1fad21180114bf7792,

title = "Parametric verification of the IEEE 1394a root contention protocol using LPMC",

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

author = "WJ Toetenel and \{Lutje Spelberg\}, RF and G Bandini",

year = "2000",

language = "Undefined/Unknown",

isbn = "0-7695-0930-4",

publisher = "IEEE",

pages = "207--214",

editor = "\{DC Young\}",

booktitle = "Proceedings",

address = "United States",

note = "7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea ; Conference date: 12-12-2000 Through 14-12-2000",

}

TY - GEN

T1 - Parametric verification of the IEEE 1394a root contention protocol using LPMC

AU - Toetenel, WJ

AU - Lutje Spelberg, RF

AU - Bandini, G

PY - 2000

Y1 - 2000

KW - ZX Int.klas.verslagjaar < 2002

M3 - Conference contribution

SN - 0-7695-0930-4

SP - 207

EP - 214

BT - Proceedings

A2 - DC Young, null

PB - IEEE

CY - Los Alamitos

T2 - 7th International Conference on Real-Time Computing Systems and Applications, Cheju, Korea

Y2 - 12 December 2000 through 14 December 2000

ER -