Media type: E-Book; Conference Proceedings Title: Proceedings First Workshop on Formal Verification of Autonomous Vehicles : Turin, Italy, 19th September 2017 Contributor: Bulwahn, Lukas [Editor]; Kamali, Maryam [Editor]; Linker, Sven [Editor] Corporation: Open Publishing Association Published: [Waterloo, NSW]: [Open Publishing Association], 7th September 2017 Published in: Electronic proceedings in theoretical computer science ; 257 Extent: 1 Online-Ressource; Illustrationen Language: English DOI: 10.4204/EPTCS.257 Identifier: Keywords: Konferenzschrift Origination: Footnote: "An affiliated workshop of the International Conference on integrated Formal Methods (iFM 2017)." - Vorwort Literaturangaben Access State: Open Access