Fernandez-88

ALDEBARAN : un Système de Vérification par Réduction de Processus Communicants

Jean-Claude Fernandez

Thèse de Doctorat, Université Joseph Fourier (Grenoble), May 1988

See https://tel.archives-ouvertes.fr/tel-00326157