| |
| 2007 | ||
|---|---|---|
| 3 | EE | Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken, Boris Wirtz: Automating Verification of Cooperation, Control, and Design in Traffic Applications. Formal Methods and Hybrid Real-Time Systems 2007: 115-169 |
| 1996 | ||
| 2 | Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456 | |
| 1 | Alfred Mikschl, Werner Damm: MSparc: A Multithreaded Sparc. Euro-Par, Vol. II 1996: 461-469 | |
| 1 | Werner Damm | [1] [2] [3] |
| 2 | Jens Oehlerking | [3] |
| 3 | Ernst-Rüdiger Olderog | [3] |
| 4 | Jun Pang | [3] |
| 5 | André Platzer | [3] |
| 6 | Jürgen Risau | [2] |
| 7 | Marc Segelken | [3] |
| 8 | Boris Wirtz | [3] |