BooksStandalone TitlesCollected Volumepp. 1343–1382Analysis of probabilistic processes and automata theoryKousha EtessamiUniversity of Edinburgh, UKDownload Chapter PDFA subscription is required to access this book chapter.
