| |
| 1999 | ||
|---|---|---|
| 2 | EE | Christoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example Implementation in Reachability Analysis. ASP-DAC 1999: 327-330 |
| 1998 | ||
| 1 | Christoph Meinel, Klaus Schwettmann, Anna Slobodová: Application Driven Variable Reordering and an Example in Reachability Analysis Universität Trier, Mathematik/Informatik, Forschungsbericht 98-24: (1998) | |
| 1 | Christoph Meinel | [1] [2] |
| 2 | Anna Slobodová | [1] [2] |