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="Arnold-Crubille/88"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A linear algorithm to solve fixed-point equations on transition systems Publikation auswählen
André Arnold, Paul Crubille

Information Processing Letters 29 , 1988, pp. 57-66

Publisher:  North-Holland Publishing Company
Address:  Amsterdam-New York-Oxford-Tokyo