Bibtex de la publication

@InProceedings{ BoFi1999.6,
author = {Bodeveix, Jean-Paul and Filali, Mamoun},
title = "{Preuve automatique par abstraction de problèmes à espace d'états infini ou paramétrés}",
booktitle = "{Formalisation des activités concurrentes, LAAS Toulouse, 25/02/1999-26/02/1999}",
year = {1999},
month = {février},
publisher = {LAAS},
pages = {19--30},
keywords = {abstraction, systèmes de transition, assistant de preuve, vérificateur de modèle, logique monadique du second ordre},
note = {}
}