FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Document Type
- Doctoral thesis (3)
- Conference Proceeding (1)
Language
- German (4) (remove)
Keywords
- Modelchecking (2)
- Verifikation (2)
- 1-Stellen-Invarianten (1)
- Büchiautomaten (1)
- Büchinetze (1)
- DCTL (1)
- Fixpunktiteration (1)
- LTL (1)
- Petri-Netze (1)
- Petrinetze (1)