Reusing information in multi-goal reachability analyses

Beyer, Dirk; Holzer, Andreas; Tautschnig, Michael; Veith, Helmut (2014): Reusing information in multi-goal reachability analyses. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 97-98. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014