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 [1] Hilfe Hilfe
 
Suche: Citkey="Barrett-Hunt-Marathe-Ravi-Rosenkrantz-Stearns/01"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Analysis problems for sequential dynamical systems and communicating state machines Publikation auswählen
Chris Barrett, Harry B. Hunt III, Madhav V. Marathe, S.S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns

Proceedings of the 26th International Symposium on Mathematical Foundations of Computer Science, MFCS'2001 (Mariánské Láznȇ, Czech Republic, August 27-31, 2001)
Lecture Notes in Computer Science 2136 , 2001, pp. 159-172

Editors  Jiȓí Sgall, Ales̑ Pultr, Petr Kolman
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Tokyo
 
URL:   http://springerlink.metapress.com/openurl.asp?genre=article&id=M78GAA07PF180VRN