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

Description

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.

Links & Downloads

1. http://catalogue.bnf.fr/ark:/12148/cb35855535q

Tags

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/463986148
Date	January 1900
Creators	Chetali, Boutheïna.
Publisher	[Le Chesnay : INRIA,
Source Sets	OCLC
Language	French
Detected Language	French