Analysis of Scheduling Behaviour using Generic Timed Automata

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Elsevier Electronic Notes in Theoretical Computer Science
Editors	Guest Editor Colin Fidge
Place of Publication	http://www.elsevier.nl/locate/entcs/volume42.html
Publisher	Elsevier
Pages	143-157
Volume	42
Edition	Brisbane, Australia
ISBN (Print)	0444508090
Publication status	Published - 2001
Event	Analysis of Scheduling Behaviour using Generic Timed Automata - Brisbane, Australia Duration: 1 Jan 2001 → …

Conference	Analysis of Scheduling Behaviour using Generic Timed Automata
Period	1/01/01 → …

Cite this

@inproceedings{463432a44b164583bd3bc0b0f477aa5b,

title = "Analysis of Scheduling Behaviour using Generic Timed Automata",

author = "T. Gerdsmeier and Rachel Cardell-Oliver",

year = "2001",

language = "English",

isbn = "0444508090",

volume = "42",

pages = "143--157",

editor = "Fidge, {Guest Editor Colin}",

booktitle = "Elsevier Electronic Notes in Theoretical Computer Science",

publisher = "Elsevier",

address = "Netherlands",

edition = "Brisbane, Australia",

note = "Analysis of Scheduling Behaviour using Generic Timed Automata ; Conference date: 01-01-2001",

}

Analysis of Scheduling Behaviour using Generic Timed Automata. / Gerdsmeier, T.; Cardell-Oliver, Rachel.
Elsevier Electronic Notes in Theoretical Computer Science. ed. / Guest Editor Colin Fidge. Vol. 42 Brisbane, Australia. ed. http://www.elsevier.nl/locate/entcs/volume42.html: Elsevier, 2001. p. 143-157.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Analysis of Scheduling Behaviour using Generic Timed Automata

AU - Gerdsmeier, T.

AU - Cardell-Oliver, Rachel

PY - 2001

Y1 - 2001

M3 - Conference paper

SN - 0444508090

VL - 42

SP - 143

EP - 157

BT - Elsevier Electronic Notes in Theoretical Computer Science

A2 - Fidge, Guest Editor Colin

PB - Elsevier

CY - http://www.elsevier.nl/locate/entcs/volume42.html

T2 - Analysis of Scheduling Behaviour using Generic Timed Automata

Y2 - 1 January 2001

ER -