![]() | Up a level |
Nicol, David M. and Priami, Corrado and Nielson, Hanne Riis and Uhrmacher, Adelinde M. (2006) 06161 Abstracts Collection — Simulation and Verification of Dynamic Systems. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
Nielson, Hanne Riis and Nicol, David M. and Priami, Corrado and Uhrmacher, Adelinde M. (2006) 06161 Executive Summary — Simulation and Verification of Dynamic Systems. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
Cai, Wentong and Carothers, Christopher and Nicol, David M. and Uhrmacher, Adelinde M. (2023) Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany.