Performance analysis of probabilistic timed automata using digital clocks

Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston

Research output: Contribution to conference (unpublished) › Paper

21 Citations (Scopus)

Original language	English
Pages	105-120
Number of pages	16
Publication status	Published - 1 Jan 2004
Event	Formal Modeling and Analysis of Timed Systems (FORMATS'03) - Duration: 1 Jan 2004 → …

Conference	Formal Modeling and Analysis of Timed Systems (FORMATS'03)
Period	1/01/04 → …

Cite this

@conference{024488b64cb04578a5805896b1e5532d,

title = "Performance analysis of probabilistic timed automata using digital clocks",

author = "Marta Kwiatkowska and Gethin Norman and David Parker and Jeremy Sproston",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "105--120",

note = "Formal Modeling and Analysis of Timed Systems (FORMATS'03) ; Conference date: 01-01-2004",

}