@incollection{Etessami:HAT:2021,
    author = {Kousha Etessami},
    editor = {Jean{-}{\'{E}}ric Pin},
    title = {Analysis of probabilistic processes and automata theory},
    booktitle = {Handbook of Automata Theory},
    pages = {1343--1382},
    publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich, Switzerland},
    year = {2021},
    url = {https://doi.org/10.4171/Automata-2/14},
    doi = {10.4171/AUTOMATA-2/14},
    timestamp = {Mon, 11 Apr 2022 14:16:57 +0200},
    biburl = {https://dblp.org/rec/books/ems/21/Etessami21.bib},
    bibsource = {dblp computer science bibliography, https://dblp.org},
    date-added = {2024-9-2 7:8:23 +0100}
}

@incollection{Etessami:HAT:2021, author = {Kousha Etessami}, editor = {Jean{-}{\'{E}}ric Pin}, title = {Analysis of probabilistic processes and automata theory}, booktitle = {Handbook of Automata Theory}, pages = {1343--1382}, publisher = {European Mathematical Society Publishing House, Z{\"{u}}rich, Switzerland}, year = {2021}, url = {https://doi.org/10.4171/Automata-2/14}, doi = {10.4171/AUTOMATA-2/14}, timestamp = {Mon, 11 Apr 2022 14:16:57 +0200}, biburl = {https://dblp.org/rec/books/ems/21/Etessami21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org}, date-added = {2024-9-2 7:8:23 +0100} }