Search
Results 1-3 of 3
| Publication Date | Title | Author(s) |
|---|---|---|
| 31-Dec-2008 | Falsifying safety properties through games on over-approximating models\r\n | Huth, M; Charlton, N |
| 2-Jan-2009 | Polynomial-Time Under-Approximation of Winning Regions in Parity Games | Antonik, A; Charlton, N; Huth, M |
| 30-Apr-2007 | Cleanly combining specialised program analysers | Charlton, N; Huth, M |
- previous
- 1
- next