Search results for: Walter Vogler
Fundamenta Informaticae > 2021 > Vol. 178, nr 1/2 > 139--172
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 5 > 589-610
Theoretical Computer Science > 2017 > 693 > C > 13-34
Science of Computer Programming > 2017 > 138 > C > 1-25
Lecture Notes in Computer Science > SOFSEM 2009: Theory and Practice of Computer Science > Regular Papers > 376-387
Lecture Notes in Computer Science > Formal Methods for Real-Time and Probabilistic Systems > Semantics of Real-Time Processes > 172-191
Theoretical Computer Science > 2016 > 642 > C > 24-53
Lecture Notes in Computer Science > Formal Methods for the Design of Real-Time Systems > Models and Languages > 25-58
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 365-384
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 87-106