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]
@article{BerthomieuGLV08,
title = {Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE},
author = {Bernard Berthomieu and Hubert Garavel and Frédéric Lang and François Vernadat},
year = {2008},
url = {http://ercim-news.ercim.eu/verifying-dynamic-properties-of-industrial-critical-systems-using-topcasedfiacre},
researchr = {https://researchr.org/publication/BerthomieuGLV08},
cites = {0},
citedby = {0},
journal = {ERCIM News},
volume = {2008},
number = {75},
}