Export 1 results:
Sort by: Author Keyword Title Type [ Year  (Desc)]
Filters: Author is Jens-Wolfhard Schicke-Uffmann  [Clear All Filters]
Mennicke, S., J. - W. Schicke-Uffmann, and U. Goltz, "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