Bibtex de la publication

@InProceedings{ RaBoFiNa2005.4,
author = {Rached, Miloud and Bodeveix, Jean-Paul and Filali, Mamoun and Nasr, Odile},
title = "{A Timed B Method for Modelling Real Time Reactive Systems}",
booktitle = "{SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Mac├ędoine), 18/11/2005-20/11/2005}",
year = {2005},
month = {novembre},
publisher = {South-East European Research Center (SEERC)},
address = {http://www.seerc.info},
pages = {181--195},
language = {anglais}
}