DMCA

Automatic Verification of Real-time Communicating Systems by Constraint Solving (1993)

by Wang Yi , Paul Pettersson , Mats Daniels
Venue:IN PROC. PF 5TH INT CONF. ON CAV, LNCS 697
Citations:49 - 15 self