Search results for: Maciej Koutny
Fundamenta Informaticae > 2021 > Vol. 183, nr 1-2 > 67--96
Fundamenta Informaticae > 2020 > Vol. 171, nr 1-4 > 261--277
Fundamenta Informaticae > 2019 > Vol. 169, nr 1-2 > 31--55
Fundamenta Informaticae > 2019 > Vol. 167, nr 4 > 323--354
Science of Computer Programming > 2018 > 151 > C > 48-60
Theoretical Computer Science > 2017 > 701 > C > 132-145
Information Sciences > 2017 > 394-395 > C > 299-314
Theoretical Computer Science > 2017 > 682 > C > 79-99
Theoretical Computer Science > 2017 > 658 > PA > 205-215
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Full Papers > 261-281
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Partial-Order and Simulation Techniques > 371-385
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 309-325
Lecture Notes in Computer Science > CONCURRENCY 88 > 368-379
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 348-357
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > State Space Reductions > 458-472
Lecture Notes in Computer Science > STACS 99 > Verification > 313-322
Lecture Notes in Computer Science > Petri Nets and Other Models of Concurrency – ICATPN 2007 > Full Papers > 281-300