@inproceedings{18a40653ea184572a0322382b68c7dab,
title = "Validation, synthesis and optimization for cyber-physical systems",
author = "Larsen, {Kim Guldstrand}",
year = "2017",
doi = "10.1007/978-3-662-54577-5_1",
language = "English",
isbn = "9783662545768",
volume = "10205 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--20",
booktitle = "Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings",
address = "Germany",
note = "23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 ; Conference date: 22-04-2017 Through 29-04-2017",
}