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: Author="Attardi, G."
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Formal definition of semantics of generalized control regimes Publikation auswählen
L. Aiello, M. Aiello, G. Attardi, P. Cavallari, G. Prini

Proceedings of the 5th Symposium on Mathematical Foundations of Computer Science, MFCS'1976 (GdaƄsk, Poland, September 6-10, 1976)
Lecture Notes in Computer Science 45 , 1976, pp. 173-179

Editors  A. Mazurkiewicz
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York
 
URL:   http://dx.doi.org/10.1007/3-540-07854-1_171