Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Kattenbelt, Mark"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Verification and refutation of probabilistic specifications via games Publikation auswählen
Mark Kattenbelt, Michael Huth

Proceedings of the 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2009 (Kanpur, India, December 15-17, 2009)
Leibniz International Proceedings in Informatics (LIPIcs) 4 , 2009, pp. 251-262

Editors  Ravi Kannan, K. Narayan Kumar
Publisher:  Dagstuhl Publishing, Saarbrücken/Wadern
 
URL:   http://drops.dagstuhl.de/opus/volltexte/2009/2323