Search results for: Sarfraz Khurshid
Innovations in Systems and Software Engineering > 2019 > 15 > 3-4 > 325-342
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 249-265
IEEE Systems Journal > 2017 > 11 > 4 > 2614 - 2627
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 21-33
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 392-393
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing and Verification > 553-568
Lecture Notes in Computer Science > Abstract State Machines, Alloy, B and Z > ABZ Short Papers (Abstracts) > 398-399
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking: Logics and Algorithms > 266-280
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 187-202