Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.


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

Discover

Publication Type
Date Published