| |
| 2008 | ||
|---|---|---|
| 4 | EE | Roland Meyer, Johannes Faber, Jochen Hoenicke, Andrey Rybalchenko: Model checking Duration Calculus: a practical approach. Formal Asp. Comput. 20(4-5): 481-505 (2008) |
| 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 | Johannes Faber | [4] |
| 2 | Patrick Maier | [3] |
| 3 | Roland Meyer | [4] |
| 4 | Ernst-Rüdiger Olderog | [1] [2] |
| 5 | Andrey Rybalchenko | [4] |