Stepwise Introduction and Preservation of Safety Properties in Algebraic High-Level Net Systems
- Link:
- Autor/in:
- Verlag/Körperschaft:
- Springer
- Erscheinungsjahr:
- 2000
- Medientyp:
- Text
- Quellsystem:
- ReposIt
Interne Metadaten
- Quelldatensatz
- oai:reposit.haw-hamburg.de:20.500.12738/3493