"Incremental state-space exploration for programs with dynamically ..."

Steven Lauterburg et al. (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics