Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Citkey="De_Nicola-Ferrari/90"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Observational logics and concurrency models Publikation auswählen
Rocco De Nicola, Gian Luigi Ferrari

Proceedings of the 10th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'90 (Bangalore, India, December 17-19, 1990)
Lecture Notes in Computer Science 472 , 1990, pp. 301-315

Editors  K.V. Nori, C.E. Veni Madhavan
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona
 
URL:   http://dx.doi.org/10.1007/3-540-53487-3_53