No. Title Author Year
1 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory et al. 2006
2 Context Dependent Analysis of BioAmbients Pilegaard, Henrik et al. 2006
3 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: 3


DROPS-Home | Fulltext Search | Imprint Published by LZI