From Model Checking to a Temporal Proof for Partial Models.

Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi

Browse the full SEFM paper archive.