Dealing with Incompleteness in Automata-Based Model Checking.

Claudio Menghi, Paola Spoletini, Carlo Ghezzi

Browse the full FM paper archive.