Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska; Gethin Norman; Jeremy Sproston; Fuzhi Wang

Symbolic model checking for probabilistic timed automata

Marta Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang

Computer Science

Research output: Contribution to conference (unpublished) › Paper

32 Citations (Scopus)

Original language	English
Pages	293-308
Number of pages	16
Publication status	Published - 1 Jan 2004
Event	Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT) - Duration: 1 Jan 2004 → …

Conference

Conference	Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT)
Period	1/01/04 → …

Cite this

@conference{39e2b61792944ee3bcaf385384138c8d,

title = "Symbolic model checking for probabilistic timed automata",

author = "Marta Kwiatkowska and Gethin Norman and Jeremy Sproston and Fuzhi Wang",

year = "2004",

month = jan,

day = "1",

language = "English",

pages = "293--308",

note = "Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT) ; Conference date: 01-01-2004",

}

TY - CONF

T1 - Symbolic model checking for probabilistic timed automata

AU - Kwiatkowska, Marta

AU - Norman, Gethin

AU - Sproston, Jeremy

AU - Wang, Fuzhi

PY - 2004/1/1

Y1 - 2004/1/1

M3 - Paper

SP - 293

EP - 308

T2 - Joint Conference on Formal Modelling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems ( FTRTFT)

Y2 - 1 January 2004

ER -