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="Kesten-Pnueli-Sifakis-Yovine/99"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Decidable integration graphs Publikation auswählen
Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine

Information and Computation 150 (2), 1999, pp. 209-243

Editors  Albert R. Meyer
Publisher:  Academic Press
Address:  Orlando
 
URL:   http://dx.doi.org/10.1006/inco.1998.2774