Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems (1999)

by Xiaoqun Du , C. R. Ramakrishnan , Scott A. Smolka
Venue:In IEEE Real Time Systems Symposium (RTSS
Citations:21 - 5 self