Bibtex de la publication

@InCollection{ BoGrObObSi2004.1,
author = {Bozga, M. and Graf, Susanne and Ober, Ileana and Ober, Iulian and Sifakis, J.},
title = "{The IF toolset}",
booktitle = "{SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time}",
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
year = {2004},
month = {juin},
editor = {Bernardo, Marco and Corradini, Flavio},
pages = {237--267},
volume = {3185},
series = {LNCS},
language = {anglais}
}