.gif)
] Filters: Author is Ursula Goltz [Clear All Filters]
"INFORMATIK 2012",
Lecture Notes in Informatics, vol. 208: Gesellschaft für Informik e.V., 2012.
"Stronger Validity Criteria for Encoding Synchrony",
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday, Cham, Springer International Publishing, 2019.
"On the Step Branching Time Closure of Free-Choice Petri Nets",
Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2014), Berlin, Germany, Springer Berlin Heidelberg, 02/2014.
Abstract