Search results for: Petr Jančar
Fundamenta Informaticae > 2022 > Vol. 188, nr 3 > 179--215
Fundamenta Informaticae > 2022 > Vol. 186, nr 1-4 > 175--194
Fundamenta Informaticae > 2019 > Vol. 169, nr 1-2 > 123--150
Acta Informatica > 2019 > 56 > 6 > 537-552
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Process Calculi > 277-291
Lecture Notes in Computer Science > STACS 89 > 446-457
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 365-384
Lecture Notes in Computer Science > STACS 2000 > 334-345
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 172-186
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 8-Track B. Concurrency > 478-489
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 349-363