Bernard Berthomieu, Hubert Garavel, Frédéric Lang, François Vernadat. Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE. ERCIM News, 2008(75), 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.