Event Beta
Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)
REX
- Date
- 1989-05-29 to 1989-06-02
- 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/e107a8p
Proceedings
| Title | DOI | Year | Record |
|---|---|---|---|
| Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness LNCS 430 | 10.1007/3-540-52559-9 | 1990 | Springer |
| Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings Lecture Notes in Computer Science 430 | 10.1007/3-540-52559-9 | 1990 | 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 e107a8p. https://id.confref.org/event/e107a8p
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.