Skip to Main content Skip to Navigation
Conference papers

Factotum: Automatic and systematic sharing support for systems analyzers

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00334475
Contributor : David James Sherman Connect in order to contact the contributor
Submitted on : Monday, October 27, 2008 - 10:07:59 AM
Last modification on : Saturday, June 25, 2022 - 10:30:57 AM

Identifiers

  • HAL Id : inria-00334475, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

53