| |
| 2001 | ||
|---|---|---|
| 2 | EE | Alexander Asteroth, Christel Baier, Ulrich Aßmann: Model Checking with Formula-Dependent Abstract Models. CAV 2001: 155-168 |
| 1992 | ||
| 1 | Alexander Asteroth, Mark Sebastian Fischer, Knut Möller, Uwe Schnepf: Tracking and Grasping of Moving Objects - a Behaviour-Based Approach. IEA/AIE 1992: 195-204 | |
| 1 | Ulrich Aßmann | [2] |
| 2 | Christel Baier | [2] |
| 3 | Mark Sebastian Fischer | [1] |
| 4 | Knut Möller | [1] |
| 5 | Uwe Schnepf | [1] |