<div class="csl-bib-body">
<div class="csl-entry">Bartocci, E., Falcone, Y., & Leucker, M. (2021). Preface. In E. Bartocci, Y. Falcone, & M. Leucker (Eds.), <i>Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday</i> (pp. vii–viii). Springer, Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/55665</div>
</div>
-
dc.identifier.isbn
9783030873486
-
dc.identifier.isbn
9783030873479
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/55665
-
dc.language.iso
en
-
dc.publisher
Springer, Lecture Notes in Computer Science
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.title
Preface
en
dc.type
Konferenzbeitrag
de
dc.type
Inproceedings
en
dc.relation.publication
Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
-
dc.contributor.editoraffiliation
Univ. Grenoble Alpes
-
dc.relation.isbn
978-3-030-87348-6
-
dc.relation.doi
10.1007/978-3-030-87348-6
-
dc.relation.issn
0302-9743
-
dc.description.startpage
vii
-
dc.description.endpage
viii
-
dc.type.category
Editorial
-
dc.relation.eissn
1611-3349
-
dc.publisher.place
Rhodes, Greece
-
tuw.booktitle
Formal Methods in Outer Space. Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
-
tuw.container.volume
13065
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.publication.orgunit
E191-01 - Forschungsbereich Cyber-Physical Systems
