Search results for: Hanna Klaudel
Fundamenta Informaticae > 2020 > Vol. 175, nr 1-4 > 59--95
Fundamenta Informaticae > 2019 > Vol. 167, nr 4 > 323--354
Autonomous Agents and Multi-Agent Systems > 2019 > 33 > 3 > 353-381
Biosystems > 2016 > 150 > C > 52-60
Lecture Notes in Computer Science > Advances in Computing Science — ASIAN’99 > Regular Papers > 190-200
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > A Concurrent Semantics of Static Exceptions in a Parallel Programming Language > 204-223
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 309-325
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 208-227
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Concurrency > 138-152
Lecture Notes in Computer Science > Application and Theory of Petri Nets 1998 > Full Papers > 306-325
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Regular Papers > 192-207
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Tutorials: Extended Abstracts > 362-365
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 297-311
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 208-227