Quantitative Analysis and Decision Science : [24] Collection home page
Browse
Collection's Items (Sorted by Title in Ascending order): 21 to 24 of 24
| Issue Date | Title | Author(s) |
|---|---|---|
| 1-Dec-2007 | A simple and expressive semantic framework for policy composition in access control\r\n | Dantas, D; Bruns, G; Huth, M |
| 1-Feb-2007 | Some current issues in model checking | Huth M |
| 12-Feb-2009 | Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification | Huth, M; Grumberg, O |
| 31-Aug-2006 | Topological analysis of refinement | Huth M |
Collection's Items (Sorted by Title in Ascending order): 21 to 24 of 24