pdf-format: |
|
@InProceedings{nicol_et_al:DagSemProc.06161.1, author = {Nicol, David M. and Priami, Corrado and Riis-Nielson, Hanne and Uhrmacher, Adelinde M.}, title = {{06161 Abstracts Collection – Simulation and Verification of Dynamic Systems}}, booktitle = {Simulation and Verification of Dynamic Systems}, pages = {1--13}, 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.dagstuhl.de/opus/volltexte/2006/710}, URN = {urn:nbn:de:0030-drops-7102}, doi = {10.4230/DagSemProc.06161.1}, annote = {Keywords: Modeling, Simulation, Verification, Dynamic Systems, Systemsbiology} }
Keywords: | Modeling, Simulation, Verification, Dynamic Systems, Systemsbiology | |
Seminar: | 06161 - Simulation and Verification of Dynamic Systems | |
Issue date: | 2006 | |
Date of publication: | 11.09.2006 |