Bibtex de la publication

@Book{ BoBoFi2012.2,
author = {Boudjadar, Abdeldjalil and Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Revising and Extending the Uppaal Communication Mechanism}",
year = {2012},
month = {juin},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
volume = {7306},
series = {Lecture Notes in Computer Science},
language = {anglais}
}