No. Title Author Year
1 06161 Abstracts Collection -- Simulation and Verification of Dynamic Systems Nicol, David M. et al. 2006
2 06161 Executive Summary -- Simulation and Verification of Dynamic Systems Riis-Nielson, Hanne et al. 2006
3 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory et al. 2006
4 A Petri Net Approach to Verify and Debug Simulation Models Kemper, Peter et al. 2006
5 Abstract Interpretation of Graph Transformation Bauer, Jörg et al. 2006
6 Context Dependent Analysis of BioAmbients Pilegaard, Henrik et al. 2006
7 Modeling and Simulating Biological Processes with Stochastic Multiset Rewriting Cavaliere, Matteo et al. 2006
8 Population models from PEPA descriptions Hillston, Jane 2006
9 Static Analysis of a Model of the LDL Degradation Pathway Pilegaard, Henrik et al. 2006
10 Stochastic Process Algebra Models of a Circadian Clock Bradley, Jeremy T. et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI