Wyniki wyszukiwania dla: Marcin Jurdziński
Algorithmica > 2019 > 81 > 3 > 1205-1231
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 382-393
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 134-151
Lecture Notes in Computer Science > STACS 2000 > 290-301
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 48-62
Lecture Notes in Computer Science > Computer Aided Verification > Compositional/Structural Verification > 428-441
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 63-77
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Invited Talks > 46-48
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 170-184
Lecture Notes in Computer Science > STACS 2000 > 358-369