Guangyuan Li (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

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

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

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

Selection of 3 from 5 records - Guangyuan Li has 4 coauthors

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