Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs (Extended Abstract) (0)

Cached

Download Links

by Bernard Boigelot , Patrice Godefroid
Venue:In CAV'96. LNCS 1102
Citations:83 - 7 self