| 2007 | ||
|---|---|---|
| c3 | 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 | |
| 2000 | ||
| j1 | Jürgen Niehaus, Werner Damm, Alexander Metzner, Alfred Mikschl: Die EVENTS-Architektur (The EVENTS Architecture). it+ti - Informationstechnik und Technische Informatik 42(2): 40-44 (2000) | |
| 1996 | ||
| c2 | Jürgen Risau, Alfred Mikschl, Werner Damm: A RISC Approach to Weak Cache Coherence. Euro-Par, Vol. II 1996: 453-456 | |
| c1 | ||
| 1 | Werner Damm | |
| 2 | Alexander Metzner | |
| 3 | Jürgen Niehaus | |
| 4 | Jens Oehlerking | |
| 5 | Ernst-Rüdiger Olderog | |
| 6 | Jun Pang | |
| 7 | André Platzer | |
| 8 | Jürgen Risau | |
| 9 | Marc Segelken | |
| 10 | Boris Wirtz |
Data released under the ODC-BY 1.0 license — See also our legal information page