Zhisong Tang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2005

3 Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287

2003

2 Guangyuan Li, Zhisong Tang: Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS 2003: 322-338

2002

1 Guangyuan Li, Zhisong Tang: Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM 2002: 231-236

	2005
3		Rongjie Yan, Guangyuan Li, Zhisong Tang: Symbolic Model Checking of Finite Precision Timed Automata. ICTAC 2005: 272-287
	2003
2		Guangyuan Li, Zhisong Tang: Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS 2003: 322-338
	2002
1		Guangyuan Li, Zhisong Tang: Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM 2002: 231-236

Coauthor Index

1 Guangyuan Li [1] [2] [3]

2 Rongjie Yan [3]