Skip to content

Elisabeth Pelz

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

1987–2008

Best venue rank

C

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2008ICTACTowards Efficient Verification of Systems with Dynamic Process Creation.Hanna Klaudel, Maciej Koutny, Elisabeth Pelz, Franck Pommereau
1995FCTCommunication as Unification in the Petri Box Calculus.Hanna Klaudel, Elisabeth Pelz
1987STACSClosure Properties of Deterministic Petri Nets.Elisabeth Pelz