DMCA

Model checking time-constrained scenario-based specifications ∗

by S. Akshay , Paul Gastin , Madhavan Mukund , K. Narayan
Citations:3 - 1 self