direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

1997

Robert Büssow and Wolfgang Grieskamp and Frank Lattemann and Eckard Lehmann (1997). The Definition of Dynamic Z.


M. Südholt and C. Piepenbrock and K. Obermayer and P. Pepper (1997). Solving Large Systems of Differential Equations using Covers and Skeletons. 50th IFIP WG 2.1 Working Conference on Algorithmic Languages and Calculi. Chapman & Hall.



1996

Thomas Frauenstein and Wolfgang Grieskamp and Mario Südholt (1996). Temporal Semantics of a Concurrency Monad with Choice and Services. Proceedings of the 2nd FUJI International Workshop on Functional and Logic Programming



M. Jmaiel (1996). Specification of communication protocols using temporal logic. Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems


Thomas Frauenstein and Wolfgang Grieskamp and Peter Pepper and Mario Südholt (1996). Communicating Functional Agents and their Application to Graphical User Interfaces. Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk. Springer Verlag.





Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin