Duong Hoang-Minh

According to our database, Duong Hoang-Minh authored at least 1 paper in 2013.

Collaborative distances:

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

2013

An assume-guarantee model checker for component-based systems.

Duong Hoang-Minh, Trinh Le-Khanh, Pham Ngoc Hung

Proceedings of the 2013 IEEE RIVF International Conference on Computing and Communication Technologies, 2013