Fuzhi Wang

	2007
3		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		Fuzhi Wang, Marta Z. Kwiatkowska: An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ATVA 2005: 385-399
	2004
1		Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang: Symbolic Model Checking for Probabilistic Timed Automata. FORMATS/FTRTFT 2004: 293-308

Coauthor Index

1	Marta Z. Kwiatkowska	[1] [2] [3]
2	Gethin Norman	[1] [3]
3	Jeremy Sproston	[1] [3]