Search results for: Anh-Hoang Truong
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 97-111
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 49-61
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 97-111
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 49-61