Search results for: Michał Rutkowski
Zeszyty Naukowe Politechniki Poznańskiej. Architektura, Urbanistyka, Architektura... > 2023 > Z. 14 > 105--118
Zeszyt Studencki Kół Naukowych Wydziału Prawa i Administracji UAM > 2020 > 10 > s. 311-326
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 1. Extensions of Timed Automata and Semantics > 63-77
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 167-181
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 6 > 553-569
Zarządzanie Publiczne / Public Governance > 2009 > 3(9) > 69-79