Search results for: Ming-Hsien Tsai
BMC Endocrine Disorders > 2019 > 19 > 1 > 1-5
BMC Nephrology > 2018 > 19 > 1 > 1-5
Archives of Toxicology > 2017 > 91 > 9 > 3079-3091
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 > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 316-330
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 > Computer Aided Verification > Session 10. Compositional Reasoning > 511-526
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 > Computer Aided Verification > Session 11: Tools – Security and Program Analysis > 428-432
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 105-119
Strahlentherapie und Onkologie > 2016 > 192 > 4 > 260-268
Analytical and Bioanalytical Chemistry > 2014 > 406 > 17 > 4287-4297
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 2 > 109-123
Formal Aspects of Computing > 2009 > 21 > 3 > 259-275