Abstract is missing.
- Population models from PEPA descriptionsJane Hillston. [doi]
- Static Analysis of a Model of the LDL Degradation PathwayHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson. [doi]
- 06161 Working Groups Report: The Challlenge of Combining Simulation and VerificationGré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. [doi]
- Context Dependent Analysis of BioAmbientsHenrik Pilegaard, Hanne Riis Nielson, Flemming Nielson. [doi]
- 06161 Executive Summary -- Simulation and Verification of Dynamic SystemsHanne Riis Nielson, David M. Nicol, Corrado Priami, Adelinde M. Uhrmacher. [doi]
- A Petri Net Approach to Verify and Debug Simulation ModelsPeter Kemper, Carsten Tepper. [doi]
- Stochastic Process Algebra Models of a Circadian ClockJeremy T. Bradley, Thomas Thorne. [doi]
- 06161 Abstracts Collection -- Simulation and Verification of Dynamic SystemsDavid M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher. [doi]
- Abstract Interpretation of Graph TransformationJörg Bauer, Reinhard Wilhelm. [doi]
- Modeling and Simulating Biological Processes with Stochastic Multiset RewritingMatteo Cavaliere, Sean Sedwards. [doi]