Search results for: Chih-Hong Cheng
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Application > 185-200
Lecture Notes in Computer Science > Implementation and Application of Automata > Technical Contributions > 110-117
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Games and Automata > 258-261
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 118-133
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 466-471
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Tool Papers > 347-352
Procedia Engineering > 2012 > 36 > Complete > 360-367
Surface & Coatings Technology > 2011 > 206 > 7 > 1711-1719