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