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