Vérification à la volée de propriétés des exécutions réparties
No Thumbnail Available
Date
1997
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
90 p. ; 30 cm.(+ microfiche).
Keywords
Informatique, système réparti, Algorithme, informatique