Publikationen von Bruno Langenstein

2013

2012

2009

  • Mihai Codescu; Bruno Langenstein; Christian Maeder; Till Mossakowski
    The VSE Refinement Method in HETS.
    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.

2000

1996

1995

1994