DMCA

Verification of Infinite State Systems by Compositional Model Checking (1999)

by K. L. Mcmillan
Venue:in CHARME
Citations:80 - 5 self