Directed explicit-state model checking in the validation of communication protocols (2004)

by S Edelkamp, S Leue, A Lluch-Lafuente
Venue:International Journal on Software Tools for Technology (STTT