Automatic veri cation of real-time communicating systems by constraint-solving (0)

by W Yi, P Pettersson, M Daniels
Venue:In Hogrefe and Leue [16