Computer Science Logic - CSL 2017

Book title Buchtitel

ISBN

978-3-95977-045-3

Editor Herausgeber_in

Goranko, Valentin
Dam, Mads

Publisher Herausgeber

Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Place of publishing Erscheinungsort

Dagstuhl

Volume Band

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika	Improved Set-based Symbolic Algorithms for Parity Games	Konferenzbeitrag Inproceedings	2017