Skip to main content

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