Local Model Checking on a Modular System.

Sawsen Khlifa, Chiheb Ameur Abid, Belhassen Zouari

Browse the full CoDIT paper archive.