Article,
Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
B. Berthomieu, H. Garavel, F. Lang, and F. Vernadat.ERCIM News, (2008)
Meta data
- BibTeX key
- journals/ercim/BerthomieuGLV08
- entry type
- article
- year
- 2008
- journal
- ERCIM News
- number
- 75
- volume
- 2008
- ee
- http://ercim-news.ercim.eu/verifying-dynamic-properties-of-industrial-critical-systems-using-topcasedfiacre
- url
- http://dblp.uni-trier.de/db/journals/ercim/ercim2008.html#BerthomieuGLV08
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/ercim/BerthomieuGLV08
%A Berthomieu, Bernard
%A Garavel, Hubert
%A Lang, Frédéric
%A Vernadat, François
%D 2008
%J ERCIM News
%K
%N 75
%T Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.
%U http://dblp.uni-trier.de/db/journals/ercim/ercim2008.html#BerthomieuGLV08
%V 2008
@article{journals/ercim/BerthomieuGLV08,
added-at = {2023-12-13T04:47:26.000+0100},
author = {Berthomieu, Bernard and Garavel, Hubert and Lang, Frédéric and Vernadat, François},
biburl = {https://www.bibsonomy.org/bibtex/27352677c08ed4946db5fc84c87128bb9/admin},
ee = {http://ercim-news.ercim.eu/verifying-dynamic-properties-of-industrial-critical-systems-using-topcasedfiacre},
interhash = {9a5961c4c4c71abb847e58aaf280f5e7},
intrahash = {7352677c08ed4946db5fc84c87128bb9},
journal = {ERCIM News},
keywords = {},
number = 75,
timestamp = {2023-12-13T04:47:26.000+0100},
title = {Verifying Dynamic Properties of Industrial Critical Systems Using TOPCASED/FIACRE.},
url = {http://dblp.uni-trier.de/db/journals/ercim/ercim2008.html#BerthomieuGLV08},
volume = 2008,
year = 2008
}