Home › Biblio

Biblio

Export 1 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: Author is Jens-Wolfhard Schicke-Uffmann  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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