Signature mark | NL 237/525 |
---|---|
Subject | Publikation Druck |
Author |
Sinachopoulus, Antonia |
Title | Temporal logics for elementary net systems |
Duration | 12.1988 |
Scope | 46 S. gedr. |
Formal information | Languages: Englisch |
Rights notice | CC BY-SA 4.0 |