Bui Vu Anh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

1 Dang Van Hung, Bui Vu Anh: Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79

	2005
1		Dang Van Hung, Bui Vu Anh: Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79

Coauthor Index