30th International Conference on Concurrency Theory, {CONCUR} 2019
Book title Buchtitel
30th International Conference on Concurrency Theory, {CONCUR} 2019
Publisher Herausgeber
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Place of publishing Erscheinungsort
140
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs | Konferenzbeitrag Inproceedings  | 2019 |