FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Document Type
- Doctoral thesis (10) (remove)
Keywords
- Modelchecking (2)
- Petri nets (2)
- Verifikation (2)
- 1-Stellen-Invarianten (1)
- Büchiautomaten (1)
- Büchinetze (1)
- Colouring fuzziness (1)
- DCTL (1)
- Fixpunktiteration (1)
- LTL (1)