| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 4 |      | Ulrich Margull, Michael Kersten, Nikolaus Regnat: A Model-Based Development Method for Device Drivers. GI Jahrestagung (2) 2008: 656-661 |
| 2006 | ||
| 3 |  | Michael Kersten: A multi-phase deadlock detection method for reactive systems based on UML-models. Carl von Ossietzky University of Oldenburg 2006: 1-183 |
| 2005 | ||
| 2 | | Frank Oppenheimer, Michael Kersten, Wolfgang Nebel: OOCOSIM - Eine objekt-orientierte Co-Designmethode für eingebettete Systeme. GI Jahrestagung (2) 2005: 683-687 |
| 2004 | ||
| 1 | | Michael Kersten, Wolfgang Nebel: On Detecting Deadlocks in Large UML Models. DIPES 2004: 11-20 |
| 1 | Ulrich Margull | [4] |
| 2 | Wolfgang Nebel | [1] [2] |
| 3 | Frank Oppenheimer | [2] |
| 4 | Nikolaus Regnat | [4] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page