Holger Rasch (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Integrating a formal method into a software engineering process with UML and Java. Formal Asp. Comput. 20(2): 161-204 (2008)

2 Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286

Selection of 2 from 4 records - Holger Rasch has 3 coauthors

4		Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Integrating a formal method into a software engineering process with UML and Java. Formal Asp. Comput. 20(2): 161-204 (2008)
2		Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim: Linking CSP-OZ with UML and Java: A Case Study. IFM 2004: 267-286