Verification of Communications Protcols and Abstract Process Models (1982)

by Benedetto Lorenzo Di Vito
Venue:Institute for Computing Science and Computer Applications, University of Texas at Austin