Bibtex de la publication

@Unpublished{ BoFiRa2004.1,
author = {Bodeveix, Jean-Paul and Filali, Mamoun and Rached, Miloud},
title = "{Méthodes de spécification de systèmes temps réel en B (FAC, Toulouse, 09/03/2004-10/03/2004)}",
year = {2004},
month = {mars},
URL = {%20http://www.laas.fr/FERIA/SVF/sem.html},
keywords = { tems-réel, spécification, TLTL}
}