Eijk, "Verifying Relay Circus Using State Machines (1997)

by P Van
Venue:Proc. Third SPIN Workshop, R. Langerak, ed., Twente Univ., The