Search results for: Andrzej Zbrzezny
Fundamenta Informaticae > 2019 > Vol. 165, nr 3-4 > 345--361
Logic and Logical Philosophy > 2018 > 27 > 4 Special Issue on Logic, Cognition, Argumentation. Guest Editors: Mariusz Urbański, Michiel van Lambalgen and Marcin Koszowy > 471–490
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Bounded Model Checking > 265-288
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 > Progress in Artificial Intelligence > Multi-Agent Systems: Theory and Applications > 551-565
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 98-120
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency IV > 72-97
Studia Logica > 2016 > 104 > 4 > 641-678
Autonomous Agents and Multi-Agent Systems > 2014 > 28 > 4 > 558-604