KIT | KIT-Bibliothek | Impressum | Datenschutz

Modula-2

Rueping, Andreas; Sekerinski, Emil


Zugehörige Institution(en) am KIT Universität Karlsruhe (TH) – Einrichtungen in Verbindung mit der Universität (Einrichtungen in Verbindung mit der Universität)
Forschungszentrum Informatik, Karlsruhe (FZI)
Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Buchaufsatz
Publikationsjahr 1995
Sprache Deutsch
Identifikator KITopen-ID: 196695
Erscheinungsvermerk In: Formal development of reactive systems. Ed.: C. Lewerentz. Berlin 1995. S. 357-371. (Lecture notes in computer science. 891.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page