Rafael Galvez-Estrada

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

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)