%0 Conference Paper %1 conf/dagstuhl/BattBEFHHKMMNSU06 %A Batt, Grégory %A Bradley, Jeremy T. %A Ewald, Roland %A Fages, François %A Hermanns, Holger %A Hillston, Jane %A Kemper, Peter %A Martens, Alke %A Mosterman, Pieter J. %A Nielson, Flemming %A Sokolsky, Oleg %A Uhrmacher, Adelinde M. %B Simulation and Verification of Dynamic Systems %D 2006 %E Nicol, David M. %E Priami, Corrado %E Nielson, Hanne Riis %E Uhrmacher, Adelinde M. %I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#BattBEFHHKMMNSU06 %V 06161

@inproceedings{conf/dagstuhl/BattBEFHHKMMNSU06, added-at = {2023-09-30T00:00:00.000+0200}, author = {Batt, Grégory and Bradley, Jeremy T. and Ewald, Roland and Fages, François and Hermanns, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter J. and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.}, biburl = {https://www.bibsonomy.org/bibtex/2f5ecf48eb893879800a1d85c3755ff70/dblp}, booktitle = {Simulation and Verification of Dynamic Systems}, crossref = {conf/dagstuhl/2006P6161}, editor = {Nicol, David M. and Priami, Corrado and Nielson, Hanne Riis and Uhrmacher, Adelinde M.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/724}, interhash = {74d54627e42527e7ebaf052a2925025d}, intrahash = {f5ecf48eb893879800a1d85c3755ff70}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:04.000+0200}, title = {06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6161.html#BattBEFHHKMMNSU06}, volume = 06161, year = 2006 }