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

by Stefan Edelkamp , Stefan Leue , Alberto Lluch-Lafuente
Venue:International Journal on Software Tools for Technology (STTT
Citations:70 - 27 self