06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

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. 2006 Simulation and Verification of Dynamic Systems http://drops.dagstuhl.de/opus/volltexte/2006/724 conf/dagstuhl/2006P6161 db/conf/dagstuhl/P6161.html#BattBEFHHKMMNSU06