Generating models of infinite-state communication protocols using regular inference with abstraction (0)

by F Aarts, B Jonsson, J Uijen
Venue:22nd IFIP International Conference on Testing Software and Systems