Skip to Main content Skip to Navigation
Book sections

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], Inria Saclay - Ile de France
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-00772642
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Thursday, January 10, 2013 - 8:34:36 PM
Last modification on : Saturday, June 25, 2022 - 7:42:30 PM

Identifiers

  • HAL Id : hal-00772642, version 1

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⟩

Share

Metrics

Record views

109