30th International Conference on Concurrency Theory, {CONCUR} 2019

Book title Buchtitel

ISBN

978-3-95977-121-4

Editor Herausgeber_in

Fokkink, Wan
van Glabbeek, Rob

Publisher Herausgeber

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Schloss Dagstuhl - Leibniz-Zentrum für Informatik

Place of publishing Erscheinungsort

Dagstuhl
140

Filter:

Author: Henzinger, Monika

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	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