Signatur | NL 237/525 |
---|---|
Gegenstand | Publikation Druck |
Verfasser |
Sinachopoulus, Antonia |
Titel | Temporal logics for elementary net systems |
Laufzeit | 12.1988 |
Umfang | 46 S. gedr. |
Formalangaben | Sprachen: Englisch |
Rechtehinweis | CC BY-SA 4.0 |