DMCA

Model Checking of Real-Time Reachability Properties Using Abstractions (1998)

by Conrado Daws , Stavros Tripakis
Citations:86 - 10 self