Dagstuhl Seminar Proceedings: Simulation and Verification of Dynamic Systems 2006

> Home > Series > Dagstuhl Seminar Proceedings

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/2006P6161
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2006P6161
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Dagstuhl Seminar Proceedings 06161, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/NielsonNPU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/NielsonNPU06
Hanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher:
06161 Executive Summary -- Simulation and Verification of Dynamic Systems.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BauerW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BauerW06
Jörg Bauer, Reinhard Wilhelm:
Abstract Interpretation of Graph Transformation.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BradleyT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BradleyT06
Jeremy T. Bradley, Thomas Thorne:
Stochastic Process Algebra Models of a Circadian Clock.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/CavaliereS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/CavaliereS06
Matteo Cavaliere, Sean Sedwards:
Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/Hillston06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/Hillston06
Jane Hillston:
Population models from PEPA descriptions.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/KemperT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/KemperT06
Peter Kemper, Carsten Tepper:
A Petri Net Approach to Verify and Debug Simulation Models.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/PilegaardNN06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PilegaardNN06
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Static Analysis of a Model of the LDL Degradation Pathway.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/BattBEFHHKMMNSU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BattBEFHHKMMNSU06
Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher:
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/PilegaardNN06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PilegaardNN06a
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson:
Context Dependent Analysis of BioAmbients.
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/NicolPNU06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/NicolPNU06
David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher:
06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.