Bounded-memory algorithms for verification on-the-fly
Abstract
Disponible dans les fichiers attachés à ce document
Reports
(Research Report)
Year : 1991
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00075100
Submitted on : Wednesday, May 24, 2006-5:25:14 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Long-term archiving on : Tuesday, April 12, 2011-5:40:36 PM
Dates and versions
Identifiers
- HAL Id : inria-00075100 , version 1
Cite
Claude Jard, Thierry Jéron. Bounded-memory algorithms for verification on-the-fly. [Research Report] RR-1462, INRIA. 1991. ⟨inria-00075100⟩
Collections
170
View
129
Download