Signatur | NL 237/701 |
---|---|
Gegenstand | Typoskript |
Verfasser |
Haar, Stefan
|
Titel | Position paper: Interval logic with concurrency |
Laufzeit | 15.12.1993 |
Umfang | 7 S. ms. |
Formalangaben | Sprachen: Englisch |
Rechtehinweis | CC BY-SA 4.0 |