The Quang Tran

According to our database, The Quang Tran authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Unfolding Concurrent Well-Structured Transition Systems.

Frédéric Herbreteau, Grégoire Sutre, The Quang Tran

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007