Search results for: Thanyapat Sakunkonchak
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Sytems — FORTE 2002 > 369-369
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 553-563