Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher. 06161 Executive Summary -- Simulation and Verification of Dynamic Systems. In David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher, editors, Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]
@inproceedings{NielsonNPU06,
title = {06161 Executive Summary -- Simulation and Verification of Dynamic Systems},
author = {Hanne Riis Nielson and David M. Nicol and Corrado Priami and Adelinde M. Uhrmacher},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/702},
researchr = {https://researchr.org/publication/NielsonNPU06},
cites = {0},
citedby = {0},
booktitle = {Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006},
editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher},
volume = {06161},
series = {Dagstuhl Seminar Proceedings},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
}