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). Dagstuhl Reports, 12 (10). Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany.