> Details

Technische Universität München Institut für Informatik

Institut für Informatik, Technische Universität München : TUM I

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Serial; Monograph Series
Title: Institut für Informatik, Technische Universität München : TUM I
Contributor: Technische Universität München Institut für Informatik
imprint: München, 1975-
Publication information: Nachgewiesen 1975 -
Language: German
Keywords: Monografische Reihe
Origination:
Footnote:

> Publishers' series

Scholz, Peter [Author]
9821: Design of reactive systems and their distributed implementation with statecharts Peter Scholz. TUM, Institut für Informatik; Technische Universität München
München: TU, Inst. für Informatik, 1998

Müller, Olaf [Author]
98,22: A verification environment for I O automata based on formalized meta theory Olaf Müller
München: TU, Inst. für Informatik, 1998

Spies, Katharina [Author]
98,9: Eine Methode zur formalen Modellierung von Betriebssystemkonzepten Katharina Spies. TUM, Technische Universität München, Institut für Informatik, Sonderforschungsbereich 342: Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen
München: SFB 342, 1998