Bui Vu Anh

According to our database, Bui Vu Anh authored at least 2 papers between 2005 and 2012.

Collaborative distances:

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

2012

An Algebraic Structure for Duration Automata.

Bui Vu Anh, Phan Trung Huy

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2012

2005

Model Checking Real-Time Component Based Systems with Blackbox Testing.

Dang Van Hung, Bui Vu Anh

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005