Yunquan Peng

According to our database, Yunquan Peng authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2007

Improvements for the Symbolic Verification of Timed Automata.

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan Peng

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007