Daguang Liu

According to our database, Daguang Liu authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Symbolic Test Generation Using a Temporal Logic with Constrained Events.

Daguang Liu, Peng Wu, Huimin Lin

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007