![]() | ![]() |
| 2006 | ||
|---|---|---|
| 3 | Patrick Wüchner, Hermann de Meer, Jörg Barner, Gunter Bolch: A brief introduction to MOSEL-2. MMB 2006: 469-472 | |
| 2005 | ||
| 2 | Jörg Barner: A lightweight formal method for the prediction of non-functional system properties. University of Erlangen-Nuremberg 2005: 1-177 | |
| 2002 | ||
| 1 | Jörg Barner, Gunter Bolch: Performance Modeling of Retrial Systems using the MOSEL Language. ESM 2002: 567-571 | |
| 1 | Gunter Bolch | [1] [3] |
| 2 | Hermann de Meer | [3] |
| 3 | Patrick Wüchner | [3] |
Data released under the ODC-BY 1.0 license — See also our legal information page