Bibtex de la publication

@Unpublished{ BoFi1998.4,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Expériences de preuves assistées et automatiques de problèmes paramétrés (Journées Modélisation et Vérification, CIRM, Marseille, 16/12/1998-18/12/1998)}",
year = {1998},
month = {décembre},
keywords = {abstraction, systèmes de transition, assistant de preuve, vérificateur de modèle, logique monadique du second ordre}
}