Factotum: Automatic and systematic sharing support for systems analyzers

Type de document :
Communication dans un congrès
Springer-Verlag. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Mar 1998, Lisbon, Portugal. 1384, 1998, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00334475
Contributeur : David James Sherman <>
Soumis le : lundi 27 octobre 2008 - 10:07:59
Dernière modification le : jeudi 11 janvier 2018 - 06:20:16

Identifiants

  • HAL Id : inria-00334475, version 1

Citation

David James Sherman, Nicolas Magnier. Factotum: Automatic and systematic sharing support for systems analyzers. Springer-Verlag. Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Mar 1998, Lisbon, Portugal. 1384, 1998, LNCS. 〈inria-00334475〉

Partager

Métriques

Consultations de la notice

72