Quantitative Languages Defined by Functional Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Quantitative Languages Defined by Functional Automata

Résumé

10.1007/978-3-642-32940-1_11
Fichier non déposé

Dates et versions

hal-01196264 , version 1 (09-09-2015)

Identifiants

  • HAL Id : hal-01196264 , version 1

Citer

Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin. Quantitative Languages Defined by Functional Automata. Concurrency Theory (CONCUR), 2012, Unknown, Unknown Region. pp.132-146. ⟨hal-01196264⟩
11 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More