Authors: DESEL J OBERWEIS A

Citation: J. Desel et A. Oberweis, PETRINETS IN APPLIED COMPUTER-SCIENCE - I NTRODUCTION, FOUNDATION ANDPERSPECTIVES, Wirtschaftsinformatik, 38(4), 1996, pp. 359

Authors: DESEL J NEUENDORF KP RADOLA MD

Citation: J. Desel et al., PROVING NONREACHABILITY BY MODULO-INVARIANTS, Theoretical computer science, 153(1-2), 1996, pp. 49-64

Authors: DESEL J REISIG W

Citation: J. Desel et W. Reisig, THE SYNTHESIS PROBLEM OF PETRI NETS, Acta informatica, 33(4), 1996, pp. 297-315

Authors: DESEL J ESPARZA J

Citation: J. Desel et J. Esparza, SHORTEST PATHS IN REACHABILITY GRAPHS, Journal of computer and system sciences, 51(2), 1995, pp. 314-323

Authors: DESEL J KINDLER E VESPER T WALTER R

Citation: J. Desel et al., A SIMPLIFIED PROOF FOR A SELF-STABILIZING PROTOCOL - A GAME OF CARDS, Information processing letters, 54(6), 1995, pp. 327-328

Authors: DESEL J ESPARZA J

Citation: J. Desel et J. Esparza, REACHABILITY IN CYCLIC EXTENDED FREE-CHOICE SYSTEMS, Theoretical computer science, 114(1), 1993, pp. 93-118