Search results for: Nir Piterman
BMC Systems Biology > 2018 > 12 > 1 > 1-7
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 511-515
IEEE Transactions on Software Engineering > 2017 > 43 > 1 > 19 - 33
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 482-496
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Based Verification > 381-393
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 153-167
Lecture Notes in Computer Science > Computational Methods in Systems Biology > Short Papers > 236-241
Lecture Notes in Computer Science > FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science > Contributions > 151-163
Lecture Notes in Computer Science > Computer Aided Verification > Automata-Based Verification > 368-380
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 89-104