Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1]	Hilfe

Suche: Series=LNCS AND Volume=405

• Time and real-time in programs
  Mathai Joseph
  Lecture Notes in Computer Science 405, 1989, pp. 312-324
• A proof system for communicating processes with value-passing
  M. Hennessy
  Lecture Notes in Computer Science 405, 1989, pp. 325-339