Automatic Verification of Real-Time Communicating Systems By ConstraintSolving. In (1994)

by W Yi, P Pettersson, M Daniels
Venue:Proc. of the 7th Int. Conf. on Formal Description Techniques,