Verification by means of observational equivalence on automata

Rapport (Rapport De Recherche) Année : 1986

(1)

Didier Vergamini

Disponible dans les fichiers attachés à ce document

Non disponible dans les fichiers attachés à ce document

Autre [cs.OH]

Fichier principal

RR-0501.pdf (1.01 Mo)

https://inria.hal.science/inria-00076053

Soumis le : mercredi 24 mai 2006-19:52:28

Dernière modification le : mercredi 15 mars 2023-08:58:09

Archivage à long terme le : vendredi 13 mai 2011-17:47:43

inria-00076053 , version 1 (24-05-2006)

Didier Vergamini. Verification by means of observational equivalence on automata. [Research Report] RR-0501, INRIA. 1986, pp.17. ⟨inria-00076053⟩

INRIA INRIA-RRRT INRIA2 LARA

31 Consultations

52 Téléchargements