Bibtex de la publication

@InProceedings{ HaPaNaMaTaBa2012.1,
author = {Hamon, Arnaud and Palanque, Philippe and Navarre, David and Martinie De Almeida, Celia and Tankeu Choitat, Adrienne and Barboni, Eric},
title = "{Interactive Cockpits Applications: Modelling and Validation using a Petri-net based Formalism (regular paper)}",
booktitle = "{European Congress on Embedded Real-Time Software (ERTS), Toulouse, France, 01/02/2012-03/02/2012}",
year = {2012},
month = {février},
publisher = {Site web ERTS 2012},
address = {},
pages = {(electronic medium)},
language = {anglais}