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

Bibliographic Details
Main Authors:	André, É, Barbot, B, Démoulins, C, Hillah, L, Hulin−Hubard, F, Kordon, F, Linard, A, Petrucci, L
Format:	Conference item
Published:	2013

Similar Items