Search results for: Yih-Kuen Tsay
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Games and Automata > 262-266
Lecture Notes in Computer Science > Implementation and Applications of Automata > Technical Contributions > 36-45
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata-Based Model Checking > 466-471
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 344-358
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 262-276
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools – I > 346-350
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Learning Techniques for Software Verification and Validation > 643-657
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking I > 31-45
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Parameterized Systems > 2-17
Lecture Notes in Computer Science > Computer Aided Verification > Session 11: Tools – Security and Program Analysis > 428-432
Lecture Notes in Computer Science
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 2 > 109-123
Formal Aspects of Computing > 2009 > 21 > 3 > 259-275
Information and Computation > 2000 > 160 > 1-2 > 109-127
IEEE Transactions on Parallel and Distributed Systems > 1994 > 5 > 7 > 737 - 748