License
When quoting this document, please refer to the following
DOI: 10.4230/DagSemRep.9
URN: urn:nbn:de:0030-drops-148970
URL: https://drops.dagstuhl.de/opus/volltexte/2021/14897/
Broy, Manfred ;
Deussen, Peter ;
Olderog, Ernst-Rüdiger ;
de Roever, Willem-Paul
Weitere Beteiligte (Hrsg. etc.): Manfred Broy and Peter Deussen and Ernst-Rüdiger Olderog and Willem-Paul de Roever
Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)
BibTeX - Entry
@TechReport{broy_et_al:DagSemRep.9,
author = {Broy, Manfred and Deussen, Peter and Olderog, Ernst-R\"{u}diger and de Roever, Willem-Paul},
title = {{Concurrent Systems: Semantics, Specification, and Synthesis (Dagstuhl Seminar 9111)}},
pages = {1--20},
ISSN = {1619-0203},
year = {1991},
type = {Dagstuhl Seminar Report},
number = {9},
institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2021/14897},
URN = {urn:nbn:de:0030-drops-148970},
doi = {10.4230/DagSemRep.9},
}
|
Collection: |
|
Dagstuhl Seminar Reports |
|
Issue Date: |
|
2021 |
|
Date of publication: |
|
01.07.1991 |
