Normal form of Some extended Abstract State Machines

Irene Guessarian 1 Patrick Cégielski 2
1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
Type de document :
Chapitre d'ouvrage
Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. 〈10.1007/978-3-642-15025-8〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01260275
Contributeur : Irene Guessarian <>
Soumis le : jeudi 21 janvier 2016 - 18:48:32
Dernière modification le : vendredi 4 janvier 2019 - 17:32:57

Identifiants

Collections

LACL | UPEC-UPEM | USPC

Citation

Irene Guessarian, Patrick Cégielski. Normal form of Some extended Abstract State Machines. Fields of Logic and Computation, pp.165-180, 2010, 978-3-642-15025-8. 〈10.1007/978-3-642-15025-8〉. 〈hal-01260275〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

30

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD