No. Title Author Year
1 Security through Analysis and Verification (Dagstuhl Seminar 00501) Degano, Pierpaolo et al. 2021
2 Time Dependent Policy-Based Access Control Vasilikos, Panagiotis et al. 2017
3 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification Batt, Gregory et al. 2006
4 Context Dependent Analysis of BioAmbients Pilegaard, Henrik et al. 2006
5 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: 5

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI