Formal Specification and Analysis of Active Networks and Communication Protocols: The Maude Experience (2000)

by G. Denker, et al.
Citations:11 - 4 self