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 Context Dependent Analysis of BioAmbients Pilegaard, Henrik et al. 2006
4 Static Analysis of a Model of the LDL Degradation Pathway Pilegaard, Henrik et al. 2006
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI