Skip to Main content Skip to Navigation
Reports

Weak and branching bisimulation in Fctool

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

https://hal.inria.fr/inria-00074985
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 5:08:51 PM
Last modification on : Thursday, September 24, 2020 - 5:22:34 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 5:17:45 PM

Identifiers

  • HAL Id : inria-00074985, version 1

Citation

Amar Bouali. Weak and branching bisimulation in Fctool. [Research Report] RR-1575, INRIA. 1992. ⟨inria-00074985⟩

Share

Metrics

Record views

332

Files downloads

134