@PHDTHESIS{ferna1988,
url = "http://www.theses.fr/1988GRE10049",
title = "Aldebaran : un système de vérification par réduction de processus communicants",
author = "Fernandez, Jean-Claude",
year = "1988",
pages = "1 vol. (196 p.)",
note = "Thèse de doctorat dirigée par Voiron, Jacques Informatique Université Joseph Fourier (Grenoble ; 1971-2015) 1988",
note = "1988GRE10049",
}