A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Étienne André‚ Benôıt Barbot‚ Clément Démoulins‚ Lom Messan Hillah‚ Francis Hulin−Hubard‚ Fabrice Kordon‚ Alban Linard‚ Laure Petrucci and others
Book Title
Proceedings of (ICFEM'13)
Pages
199–214
Year
2013