Skip to main content Skip to main navigation

Dipl.-Inform. Bruno Langenstein

Kontakt +49 681 85775 5316 (Saarbrücken)

Adresse (Saarbrücken) Gebäude D3 1Stuhlsatzenhausweg 3D-66123 Saarbrücken

Publikationen

Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

In: Electronic Communications of the EASST, 2013.

Zur Publikation

Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

In: Electronic Communications of the EASST, 2012.

Zur Publikation

Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski

In: K. Breitman; A. Cavalcanti (Hrsg.). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009), December 9-12, Rio de Janeiro, Brazil, Lecture Notes in Computer Science (LNCS), Vol. 5885, Springer, 2009.

Zur Publikation