Bibtex de la publication

@TechReport{ QuFiPaMaPa1997.1,
author = {Quéinnec, Philippe and Filali, Mamoun and Padiou, Gérard and Mauran, Philippe and Papaix, Philippe},
title = "{Système de contrôle d'accès : Développement d'une spécification formelle en UNITY}",
year = {1997},
month = {juin},
type = {Rapport de recherche},
number = {97-33-R},
institution = {IRIT},
address = {Université Paul Sabatier, Toulouse}
}