@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",
language = "English",
series = "Dagstuhl Seminar Proceedings 06161",
publisher = "International Conference and Research Center for Computer Science, Schloss Dagstuhl gGmbH",
booktitle = "Simulation and Verification of Dynamic Systems",
note = "Simulation and Verification of Dynamic Systems ; Conference date: 01-01-2006",
}