Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar. 10271 Abstracts Collection - Verification over discrete-continuous boundaries. In Bernd Becker, Luca Cardelli, Holger Hermanns, Sofiène Tahar, editors, Verification over discrete-continuous boundaries, 04.07. - 09.07.2010. Volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, 2010. [doi]
@inproceedings{BeckerCHT10,
title = {10271 Abstracts Collection - Verification over discrete-continuous boundaries},
author = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiène Tahar},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2792/},
researchr = {https://researchr.org/publication/BeckerCHT10},
cites = {0},
citedby = {0},
booktitle = {Verification over discrete-continuous boundaries, 04.07. - 09.07.2010},
editor = {Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiène Tahar},
volume = {10271},
series = {Dagstuhl Seminar Proceedings},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
}