For the most recent entries see the
Petri Nets Newsletter.
Eine anwenderorientierte Sicherheitsfachsprache zur Verifikation von Steuerungsprogrammen.
Mertke, T.;
Deussen, P.;
Heiner, M.
In:
EKA 2001, 7. Fachtagung, Braunschweig, pages 297-309.
TU Braunschweig, ISBN 3-9803363-6-0,
April 2001.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography