Protocol verification with heuristic search (2001)

by S Edelkamp, A Lluch-Lafuente, S Leue
Venue:In AAAI-Spring Symposium on Model-based Validation Intelligence