Published in: Dagstuhl Seminar Proceedings, Volume 6161, Simulation and Verification of Dynamic Systems (2006)
Gregory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermans, Jane Hillston, Peter Kemper, Alke Martens, Pieter Mosterman, Flemming Nielson, Oleg Sokolsky, and Adelinde M. Uhrmacher. 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In Simulation and Verification of Dynamic Systems. Dagstuhl Seminar Proceedings, Volume 6161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
@InProceedings{batt_et_al:DagSemProc.06161.3, author = {Batt, Gregory and Bradley, Jeremy T. and Ewald, Roland and Fages, Fran\c{c}ois and Hermans, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M.}, title = {{06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6161}, editor = {David M. Nicol and Corrado Priami and Hanne Riis Nielson and Adelinde M. Uhrmacher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06161.3}, URN = {urn:nbn:de:0030-drops-7249}, doi = {10.4230/DagSemProc.06161.3}, annote = {Keywords: Modelling, Simulation, Verification, Systemsbiology} }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
George-Pierre Bonneau, Thomas Ertl, and Gregory M. Nielson. Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231). Dagstuhl Seminar Report 381, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)
@TechReport{bonneau_et_al:DagSemRep.381, author = {Bonneau, George-Pierre and Ertl, Thomas and Nielson, Gregory M.}, title = {{Scientific Visualization: Extracting Information and Knowledge from Scientific Data Sets (Dagstuhl Seminar 03231)}}, pages = {1--6}, ISSN = {1619-0203}, year = {2003}, type = {Dagstuhl Seminar Report}, number = {381}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.381}, URN = {urn:nbn:de:0030-drops-152619}, doi = {10.4230/DagSemRep.381}, }
Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
Hans Hagen, Heinrich Müller, and Gregory N. Nielson. Scientific Visualization (Dagstuhl Seminar 9421). Dagstuhl Seminar Report 90, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)
@TechReport{hagen_et_al:DagSemRep.90, author = {Hagen, Hans and M\"{u}ller, Heinrich and Nielson, Gregory N.}, title = {{Scientific Visualization (Dagstuhl Seminar 9421)}}, pages = {1--26}, ISSN = {1619-0203}, year = {1994}, type = {Dagstuhl Seminar Report}, number = {90}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.90}, URN = {urn:nbn:de:0030-drops-149783}, doi = {10.4230/DagSemRep.90}, }
Feedback for Dagstuhl Publishing