Skip to Main content Skip to Navigation
Reports

On-the-fly verification of finite transition systems

Résumé : Disponible dans les fichiers attachés à ce document
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074812
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 4:28:31 PM
Last modification on : Thursday, February 11, 2021 - 2:48:05 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:30:46 PM

Identifiers

  • HAL Id : inria-00074812, version 1

Citation

Claude Jard, Thierry Jéron, Jean-Claude Fernandez, Laurent Mounier. On-the-fly verification of finite transition systems. [Research Report] RR-1861, INRIA. 1993. ⟨inria-00074812⟩

Share

Metrics

Record views

500

Files downloads

230