Software for analytical development of communication protocols (1990)

by Z Har'El and R P Kurshan
Venue:AT&T Technical Journal