"Using Abstractions for Heuristic State Space Exploration of Reactive ..."

Marc Lettrari (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics