Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [2] | Hilfe |
Suche: Citkey="Flanagan-Joshi-Leino/01" |
Information Processing Letters 77 (2-4), 2001, pp. 97-108
Publisher: | Elsevier Science Publishers B.V. (North Holland) | |
Address: | Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo | |