Search

Results 1-4 of 4
Publication DateTitleAuthor(s)
31-Dec-2008Falsifying safety properties through games on over-approximating models\r\nHuth, M; Charlton, N
31-Aug-2008EXPTIME-complete Decision Problems for Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
19-Sep-2008Access-Control Policies via Belnap Logic: Effective and Efficient Composition and AnalysisBruns, G; Huth, M
30-Jun-200820 Years of Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
  • previous
  • 1
  • next