Return to search

Vérification formelle des systèmes parallèles décrits en UNITY à l'aide d'un outil de démonstration automatique /

Th. doct.--Informatique--Nancy 1, 1996. / Bibliogr. p. 245-250. Index. Résumé en anglais et en français. 1996 d'après la déclaration de dépôt légal.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/463986148
Date January 1900
CreatorsChetali, Boutheïna.
Publisher[Le Chesnay : INRIA,
Source SetsOCLC
LanguageFrench
Detected LanguageFrench

Page generated in 0.0016 seconds