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 [2] Hilfe Hilfe
 
Suche: Citkey="Sharir-Pnueli-Hart/84"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Verification of probabilistic programs Publikation auswählen
M. Sharir, A. Pnueli, S. Hart

SIAM Journal on Computing 13 (2), 1984, May, pp. 292-314

Publisher:  Society for Industrial and Applied Mathematics
Address:  Philadelphia, PA
Institution:  Dept. of Computer Sci., Tel Aviv Univ., Tel Aviv, Israel;