DMCA

Constructive protocol specification using Cicero (1998)

Cached

Download Links

by Yen-min Huang , Chinya V. Ravishankar , Senior Member
Venue:IEEE Transactions on Software Engineering
Citations:2 - 0 self