For the most recent entries see the
Petri Nets Newsletter.
Ein Verfahren zur Verifikation von ``Immer möglich'' und ``Möglich, daÑ immer''-Eigenschaften.
Schmidt, Karsten
In:
Desel, J.; Kindler, E.; Oberweis, A.: Berichte des Instituts für angewandte Informatik und Formale Beschreibungsverfahren, Nr. 341.
Universität Karlsruhe,
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography