A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems.

tienne Andr, Benot Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci

Browse the full ICFEM paper archive.