No. Title Author Year
1 Time Dependent Policy-Based Access Control Vasilikos, Panagiotis et al. 2017
2 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory 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