PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Taubner, Dirk"

Author of the publication

copydeleteadd this publication to your clipboard
Editorial (Web Services).

, , and . Informatik Spektrum, 27 (2): 113 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dirk Pfl\"uger

Univ. -Prof. Dr. Dirk Pflüger University of Stuttgart

Dr. -Ing. Dirk Schlabing University of Stuttgart

Dirk Srocke University of Stuttgart

Univ. -Prof. Dr. Dirk Hachmeister University of Stuttgart

 

Other publications of authors with the same name

Erfahrungen mit Lean-Konzepten im Management von Softwareprojekten., , and . Informatik Spektrum, 34 (1): 60-70 (2011)Computer Aided Verification of Parallel Processes., , , and . VIS, volume 271 of Informatik-Fachberichte, page 208-226. Springer, (1991)On the Implementation of Petri Nets.. European Workshop on Applications and Theory of Petri Nets, volume 340 of Lecture Notes in Computer Science, page 418-434. Springer, (1987)The Step Failure Semantics., and . STACS, volume 247 of Lecture Notes in Computer Science, page 348-359. Springer, (1987)Editorial (Web Services)., , and . Informatik Spektrum, 27 (2): 113 (2004)Representing CCS Programs by Finite Predicate/Transition Nets.. Acta Inf., 27 (6): 533-565 (1990)Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. Lecture Notes in Computer Science Springer, (1989)Generating BDDs for Symbolic Model Checking in CCS., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 203-213. Springer, (1991)Objektorientierte Spezifikation mit einem CASE-Werkzeug für Structured Analysis/Structured Design., and . Informatik Spektrum, 19 (4): 196-205 (1996)NetWeaver.. Informatik Spektrum, 30 (6): 405 (2007)