Complexity of LTL Model-Checking for Safe Object Nets
- Link:
- Autor/in:
- Erscheinungsjahr:
- 2010
- Medientyp:
- Text
- Schlagworte:
-
- 004: Informatik
- ddc:004
- Quellsystem:
- ReposIt
Interne Metadaten
- Quelldatensatz
- oai:reposit.haw-hamburg.de:20.500.12738/2721