Communication Dans Un Congrès
Année : 1998
David James Sherman : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00334475
Soumis le : lundi 27 octobre 2008-10:07:59
Dernière modification le : vendredi 24 mars 2023-14:52:51
Dates et versions
Identifiants
- HAL Id : inria-00334475 , version 1
Citer
David James Sherman, Nicolas Magnier. Factotum: Automatic and systematic sharing support for systems analyzers. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Mar 1998, Lisbon, Portugal. ⟨inria-00334475⟩
Collections
53
Consultations
0
Téléchargements