Weighted automata and weighted logics

Manfred Droste Paul Gastin 1
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Type de document :
Chapitre d'ouvrage
Kuich, Werner and Vogler, Heiko and Droste, Manfred. Handbook of Weighted Automata, Springer, pp.175-211, 2009
Liste complète des métadonnées

https://hal.inria.fr/hal-00772642
Contributeur : Stefan Haar <>
Soumis le : jeudi 10 janvier 2013 - 20:34:36
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : hal-00772642, version 1

Collections

Citation

Manfred Droste, Paul Gastin. Weighted automata and weighted logics. Kuich, Werner and Vogler, Heiko and Droste, Manfred. Handbook of Weighted Automata, Springer, pp.175-211, 2009. 〈hal-00772642〉

Partager

Métriques

Consultations de la notice

169