|
Search the dblp DataBase
Fuzhi Wang:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Fuzhi Wang, Marta Z. Kwiatkowska
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:385-399 [Conf]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic Model Checking for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:293-308 [Conf]
- Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
Symbolic model checking for probabilistic timed automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:7, pp:1027-1077 [Journal]
Search in 0.001secs, Finished in 0.001secs
|