Search results for: Yu-Fang Chen
Journal of Applied Polymer Science > 139 > 16 > n/a - n/a
Concurrency and Computation: Practice and Experience > 32 > 7 > n/a - n/a
European Journal of Pharmacology > 2016 > 789 > C > 98-108
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 150-167
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata Theory > 158-174
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 > 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 2. Model Checking and Automata > 132-147
Bioorganic & Medicinal Chemistry > 2015 > 23 > 22 > 7332-7339
European Journal of Medicinal Chemistry > 2015 > 90 > Complete > 251-257