DMCA

Protocol Verification with Reactive Promela/RSPIN (1996)

by Elie Najm , Frank Olsen
Venue:In Proceedings of the Second SPIN Workshop, Rutgers University
Citations:3 - 0 self