| 2005 | ||
|---|---|---|
| 3 | EE | Jochen Hoenicke, Patrick Maier: Model-Checking of Specifications Integrating Processes, Data and Time. FM 2005: 465-480 |
| 2002 | ||
| 2 | EE | Jochen Hoenicke, Ernst-Rüdiger Olderog: Combining Specification Techniques for Processes, Data and Time. IFM 2002: 245-266 |
| 1 | Jochen Hoenicke, Ernst-Rüdiger Olderog: CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. Nord. J. Comput. 9(4): 301-334 (2002) | |
| 1 | Patrick Maier | [3] |
| 2 | Ernst-Rüdiger Olderog | [1] [2] |