| |
| 2007 | ||
|---|---|---|
| 3 | EE | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic model checking for probabilistic timed automata. Inf. Comput. 205(7): 1027-1077 (2007) |
| 2005 | ||
| 2 | EE | Fuzhi Wang, Marta Z. Kwiatkowska: An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA 2005: 385-399 |
| 2004 | ||
| 1 | EE | Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308 |
| 1 | Marta Z. Kwiatkowska | [1] [2] [3] |
| 2 | Gethin Norman | [1] [3] |
| 3 | Jeremy Sproston | [1] [3] |