Modular Verification for a Class of PLTL Properties.

Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand

Browse the full IFM paper archive.