Campuses:

Protocol verification using discrete-event systems

Author: 
Karen Rudie and W. Murray Wonham
November
1992
Document: 
Number: 
1043