Refinement of LTL Formulas for Abstract Model Checking.

Mara-del-Mar Gallardo, Pedro Merino, Ernesto Pimentel

Browse the full SAS paper archive.