Bibtex de la publication

@InProceedings{ BaBoFiPo2005.3,
author = {Banach, Richard and Bodeveix, Jean-Paul and Filali, Mamoun and Poppleton, Michael},
title = "{Dynamic aspects of retrenchments through temporal logic}",
booktitle = "{SEEFM05 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/2005-19/11/2005}",
year = {2005},
month = {novembre},
publisher = {South-East European Research Center (SEERC)},
address = {http://www.seerc.info},
pages = {104--118},
language = {anglais},
note = { Pages de la publication : (àparaitre).}
}