Search results for: Geng-Dian Huang
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Temporal Logic II > 382-396
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > Concurrent System Testing > 234-249
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 51-65
Lecture Notes in Computer Science > Real-Time and Embedded Computing Systems and Applications > Tools and Development > 595-617
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Timed, Embedded, and Hybrid Systems (I) > 144-158
IEEE Transactions on Software Engineering > 2006 > 32 > 7 > 510 - 526