| |
| 1996 | ||
|---|---|---|
| 1 | Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger: Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. CAV 1996: 466-469 | |
| 1 | Carla Capellmann | [1] |
| 2 | Ralph Demant | [1] |
| 3 | Rafael Galvez-Estrada | [1] |
| 4 | Peter Ochsenschläger | [1] |
| 5 | Ulrich Ultes-Nitsche (Ulrich Nitsche) | [1] |