Search results for: Parosh Aziz Abdulla
Lecture Notes in Computer Science > Computer Aided Verification > Regular Model Checking and Acceleration > 555-568
Acta Informatica > 2017 > 54 > 8 > 789-818
Lecture Notes in Computer Science > Automata, Languages and Programming > Automata and Formal Languages II > 1089-1101
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 2-16
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic and Quantitative Models > 348-363
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 5: Verification > 256-270
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Automata Theory > 158-174
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 98-112
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Invited Talks > 1-15
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Model-Checking > 411-425