@inbook{Boreale_2024,
    title = {Language Equivalence from Nondeterministic to Weighted Automata and Back},
    isbn = {9783031737091},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-73709-1_6},
    doi = {10.1007/978-3-031-73709-1_6},
    booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola},
    publisher = {Springer Nature Switzerland},
    author = {Boreale, Michele and Collodi, Luisa},
    year = {2024},
    month = {oct},
    pages = {75–93},
    date-added = {2024-10-13 7:41:41 +0100}
}

@inbook{Boreale_2024, title = {Language Equivalence from Nondeterministic to Weighted Automata and Back}, isbn = {9783031737091}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-73709-1_6}, doi = {10.1007/978-3-031-73709-1_6}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola}, publisher = {Springer Nature Switzerland}, author = {Boreale, Michele and Collodi, Luisa}, year = {2024}, month = {oct}, pages = {75–93}, date-added = {2024-10-13 7:41:41 +0100} }