Conference Papers
Year : 1998
David James Sherman : Connect in order to contact the contributor
https://inria.hal.science/inria-00334475
Submitted on : Monday, October 27, 2008-10:07:59 AM
Last modification on : Friday, March 24, 2023-2:52:51 PM
Dates and versions
Identifiers
- HAL Id : inria-00334475 , version 1
Cite
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
50
View
0
Download