Analysis of Scheduling Behaviour using Generic Timed Automata

T. Gerdsmeier, Rachel Cardell-Oliver

Research output: Chapter in Book/Conference paperConference paper

7 Citations (Scopus)
Original languageEnglish
Title of host publicationElsevier Electronic Notes in Theoretical Computer Science
EditorsGuest Editor Colin Fidge
Place of Publicationhttp://www.elsevier.nl/locate/entcs/volume42.html
PublisherElsevier
Pages143-157
Volume42
EditionBrisbane, Australia
ISBN (Print)0444508090
Publication statusPublished - 2001
EventAnalysis of Scheduling Behaviour using Generic Timed Automata - Brisbane, Australia
Duration: 1 Jan 2001 → …

Conference

ConferenceAnalysis of Scheduling Behaviour using Generic Timed Automata
Period1/01/01 → …

Cite this

Gerdsmeier, T., & Cardell-Oliver, R. (2001). Analysis of Scheduling Behaviour using Generic Timed Automata. In G. E. C. Fidge (Ed.), Elsevier Electronic Notes in Theoretical Computer Science (Brisbane, Australia ed., Vol. 42, pp. 143-157). Elsevier.