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

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Citkey="Esparza-Etessami/04"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Verifying probabilistic procedural programs Publikation auswählen
Javier Esparza, Kousha Etessami

Proceedings of the 24th International Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'2004 (Chennai, India, December 16-18, 2004)
Lecture Notes in Computer Science 3328 , 2004, pp. 16-31

Editors  Kamal Lodaya, Meena Mahajan
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg
 
URL:   http://www.springerlink.com/content/0aqrdm7c6bxft22k