ALDEBARAN un système de vérification par réduction de processus communicants /

Description

Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 163-166.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00326157

Tags

Thèses et écrits académiques.

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/493802724
Date	January 2008
Creators	Fernandez, Jean-Claude Voiron, Jacques. Krakowiak, Sacha. Trilling, Laurent. Sifakis, Joseph.
Publisher	S.l. : Université Grenoble 1,
Source Sets	OCLC
Language	French
Detected Language	French