@article{d862f28006d24ae599dd9647ee854872,
title = "Working Groups' Report: The Challenge of Combining Simulation and Verification",
author = "Gregory Batt and Jeremy Bradley and Roland Ewald and Francois Fages and Holger Hermans and Jane Hillston and Peter Kemper and Alke Martens and Pieter Mosterman and Flemming Nielson and Oleg Sokolsky and Adelinde Uhrmacher",
year = "2006",
month = jan,
day = "1",
language = "English",
volume = "6161",
journal = "Dagstuhl Seminar Proceedings",
issn = "1862-4405",
note = "Simulation and Verification of Dynamic Systems 2006 ; Conference date: 17-04-2006 Through 22-04-2006",
}