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 [1] | Hilfe |
Suche: Citkey="Sobel-Soundararajan/88" |
Acta Informatica 25 (3), 1988, pp. 305-332
Publisher: | Springer-Verlag | |
Address: | Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong | |
Institution: | IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA | |
Keywords: | distributed processes, partial correctness proof system, distributed processes, externally visible behavior | |
URL: |
http://springerlink.metapress.com/openurl.asp?genre=article&issn=0001-5903&volume=25&issue=3&spage=305 | |