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 Hilfe Hilfe
 
Suche: Author="Coluccini, Stefano"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

An efficient verifier of truly concurrent properties Publikation auswählen
Alessandro Bianchi, Stefano Coluccini, Pierpaolo Degano, Corrado Priami

Proceedings of the 3rd International Conference on Parallel Computing Technologies, PaCT'95, (St. Petersburg, Russia, September 12-25, 1995)
Lecture Notes in Computer Science 964 , 1995, pp. 36-50

Editors  Victor Malyshkin
Publisher:  Springer-Verlag
Address:  Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest