A Modular Approach for Reusing Formalisms in Verication Tools of Concurrent Systems Étienne André, Benoît Barbot, Clément Démoulins, Lom Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci - Fabrice - Document - PDFSEARCH.IO

First Page	Meta Content
	A Modular Approach for Reusing Formalisms in Verication Tools of Concurrent Systems Étienne André, Benoît Barbot, Clément Démoulins, Lom Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci Add to Reading List Document Date: 2013-10-30 20:23:47 Open Document File Size: 664,68 KB Share Result on Facebook

A Modular Approach for Reusing Formalisms in Verication Tools of Concurrent Systems Étienne André, Benoît Barbot, Clément Démoulins, Lom Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure PetrucciAdd to Reading List