Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher. 06161 Working Groups Report: The Challlenge of Combining Simulation and Verification. 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{BattBEFHHKMMNSU06,
title = {06161 Working Groups Report: The Challlenge of Combining Simulation and Verification},
author = {Grégory Batt and Jeremy T. Bradley and Roland Ewald and François Fages and Holger Hermanns and Jane Hillston and Peter Kemper and Alke Martens and Pieter J. Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde M. Uhrmacher},
year = {2006},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/724},
researchr = {https://researchr.org/publication/BattBEFHHKMMNSU06},
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},
}