Title |
|
|
|
When is containment decidable for probabilistic automata?
| |
Author |
|
|
|
| |
Abstract |
|
|
| | |
Language |
|
|
|
English
| |
Source (journal) |
|
|
|
LIPIcs : Leibniz International Proceedings in Informatics. - Place of publication unknown | |
Source (book) |
|
|
|
45th International Colloquium on Automata, Languages, and Programming (ICALP 2018) / Chatzigiannakis, Ioannis [edit.]; et al. | |
Publication |
|
|
|
Germany : Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik, 2018
| |
ISBN |
|
|
|
978-3-95977-076-7
| |
Volume/pages |
|
|
|
107(2018), 14 p.
| |
Article Reference |
|
|
|
12
| |
Medium |
|
|
|
E-only publicatie
| |
Full text (Publisher's DOI) |
|
|
| | |
Full text (open access) |
|
|
| | |
|