Bibtex de la publication

@InProceedings{ Di2014.3,
author = {Dieumegard, Arnaud and Toom, Andres and Pantel, Marc},
title = "{Formal specification of block libraries in dataflow languages (regular paper)}",
booktitle = "{International Conference on Embedded Real Time Software and Systems (ERTS2), Toulouse, 03/02/2014-05/02/2014}",
year = {2014},
month = {février},
publisher = {SIA/3AF/SEE},
pages = {(on line)},
language = {anglais},
URL = {http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_6D4.pdf}
}