Search

Results 1-2 of 2
Publication DateTitleAuthor(s)
31-Aug-2008EXPTIME-complete Decision Problems for Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
30-Jun-200820 Years of Mixed and Modal SpecificationsAntonik, A; Huth, M; Larsen, K; Nyman, U; Wasowski, A
  • previous
  • 1
  • next