Search results for: Ivana Černá
Nonlinear Analysis: Hybrid Systems > 2017 > 23 > C > 230-253
Lecture Notes in Computer Science > Component-Based Software Engineering > Formal Methods and Model Checking > 146-162
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 105-119
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 53-68
Lecture Notes in Computer Science > Computer Aided Verification > Session 10. Tools Papers > 278-281
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 228-242
Lecture Notes in Computer Science > SOFSEM 2001: Theory and Practice of Informatics > Contributed Papers > 191-200
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2003 > Contributed Papers > 318-327
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 96-107
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Model Checking > 259-279
Lecture Notes in Computer Science > SOFSEM’99: Theory and Practice of Informatics > Contributed Papers > 369-378
Lecture Notes in Computer Science
IEEE Transactions on Automatic Control > 2015 > 60 > 6 > 1528 - 1541