@inproceedings{e175c54f41be45e0a59411555e724dc6,
title = "Working Groups{\textquoteright} Report: The Challenge of Combining Simulation and Verification",
author = "Gregory Batt and Jeremy Bradley and Roland Ewald and Francois Fages and Flemming Nielson",
year = "2006",
doi = "10.4230/DagSemProc.06161.3",
language = "English",
series = "Dagstuhl Seminar Proceedings 06161",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
booktitle = "Simulation and Verification of Dynamic Systems",
note = "Simulation and Verification of Dynamic Systems ; Conference date: 01-01-2006",
}