DMCA

BACKWARD SYMBOLIC EXECUTION of PROTOCOLS (1985)

Cached

Download Links

by Gerard J. Holzmann
Venue:PROTOCOL SPECIFICATION, TESTING, AND VERIFICATION, IV
Citations:3 - 0 self