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)
31-Dec-2008Falsifying safety properties through games on over-approximating models\r\nHuth, M; Charlton, N
2-Jan-2009Polynomial-Time Under-Approximation of Winning Regions in Parity GamesAntonik, A; Charlton, N; Huth, M
30-Apr-2007Cleanly combining specialised program analysersCharlton, N; Huth, M


Date Published