| | 2006 | [Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas | [Valmari, Antti] | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article | |
| | 2006 | [Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd] | [Valmari, Antti] | | Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article | |
22 |
| van der Torre, Leendert W. N. |
| |
1 |
| van Emde Boas, Peter (ed.) |
| |
2 |
| Van Hentenryck, Pascal (ed.) |
| |
1 |
| Vaz de Carvalho, Júlia (ed.) |
| |
1 |
| Vorozhtsov, Evgenii V. (ed.) |
| |