Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-3 of 3
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
1-Feb-2007Some current issues in model checkingHuth M
1-Dec-2007A simple and expressive semantic framework for policy composition in access control\r\nDantas, D; Bruns, G; Huth, M
30-Apr-2007Cleanly combining specialised program analysersCharlton, N; Huth, M