Publikationen suchen
- Publikation
- Autoren
- Einrichtungen
- Abstract
- Externe Dokumente
- Links
Improving explicit model checking for Petri nets
(
Dissertationsschrift
)