direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dipl.-Inform. Rodger Burmeister

Email: burmeister@fzi.de

 

Forschungszentrum Informatik, Aussenstelle Berlin

Gastwissenschaftler an der TU Berlin

 

 

Publikationen

The Observer Pattern applied to actor systems: A TLA/TLC-based implementation analysis
Zitatschlüssel BurHel2012
Autor Burmeister, R. and Helke, S.
Buchtitel Proc. International Conference on Theoretical Aspects of Software Engineering (TASE 2012)
Jahr 2012
ISBN 978-0-7695-4751-0
Verlag IEEE Computer Society
Download Bibtex Eintrag

Lehre

Softwaretechnik
WiSe 2006/07

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe