Quantitative Analysis and Decision Science : [24] Collection home page

Browse
Collection's Items (Sorted by Title in Ascending order): 21 to 24 of 24
< previous 
Publication DateTitleAuthor(s)
1-Dec-2007A simple and expressive semantic framework for policy composition in access control\r\nDantas, D; Bruns, G; Huth, M
1-Feb-2007Some current issues in model checkingHuth M
12-Feb-2009Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verificationHuth, M; Grumberg, O
31-Aug-2006Topological analysis of refinementHuth M
Collection's Items (Sorted by Title in Ascending order): 21 to 24 of 24
< previous