Search results for: Kang-Nien Wu
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata-Based Model Checking > 466-471
Formal Aspects of Computing > 2009 > 21 > 3 > 259-275
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata-Based Model Checking > 466-471
Formal Aspects of Computing > 2009 > 21 > 3 > 259-275