Signature mark | NL 237/701 |
---|---|
Subject | Typoskript |
Author |
Haar, Stefan
|
Title | Position paper: Interval logic with concurrency |
Duration | 15.12.1993 |
Scope | 7 S. ms. |
Formal information | Languages: Englisch |
Rights notice | CC BY-SA 4.0 |