Bibtex de la publication

@InProceedings{ Di2016.3,
author = {Dieumegard, Arnaud and Toom, Andres and Pantel, Marc},
title = "{Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems (regular paper)}",
booktitle = "{International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Pise, Italie, 26/09/2016-28/09/2016}",
year = {2016},
month = {septembre},
publisher = {Springer},
address = {http://www.springerlink.com},
volume = {9933},
series = {LNCS},
pages = {117--132},
language = {anglais},
URL = {https://doi.org/10.1007/978-3-319-45943-1_8}
}