Gregory Batt, Jeremy T Bradley, Roland Ewald, Francois Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M Uhrmacher (2006)

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

In: Dagstuhl Seminar Proceedings 06161: Simulation and Verification of Dynamic Systems, ed. by Nicol, DM, Priami, C, Nielson, HR, Uhrmacher, AM.