An interactive tool for design, simulation, verification, and synthesis of protocols
Article in Software Practice and Experience (August 1994)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Software Practice and Experience (August 1994)