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] |