Search results for: Maciej Szreter
Applied Soft Computing > 2017 > 53 > C > 352-379
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 42-71
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Abstraction and Reduction Techniques > 159-173
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time and Scheduling > 278-283
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 98-120
Autonomous Agents and Multi-Agent Systems > 2014 > 28 > 4 > 558-604