Zhisong Tang

According to our database¹, Zhisong Tang authored at least 3 papers between 2002 and 2005.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2005

Symbolic Model Checking of Finite Precision Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2005

2003

Translating a Continuous-Time Temporal Logic into Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Modelling Real-Time Systems with Continuous-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002