Event Beta
Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)
REX
- Date
- 1988-05-30 to 1988-06-03
- Place
- Kingdom of the Netherlands
- Series
- Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)
- Academic field
- Natural sciences: Computer and information sciences
- Disciplines
- computer science
- Identifier
https://id.confref.org/event/e107a7r
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency LNCS 354 | 10.1007/bfb0013019 | 1989 | Springer |
| Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings Lecture Notes in Computer Science 354 | 10.1007/bfb0013019 | 1989 | dblp |
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| Springer LOD (2018) |
|
|---|---|
| confref portal (2020) | |
| dblp |
Cite
Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems). confref identifier e107a7r. https://id.confref.org/event/e107a7r
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.