DMCA

Efficient Verification of Timed Automata using Dense and Discrete Time Semantics

by Marius Bozga , Oded Maler , Stavros Tripakis
Citations:27 - 5 self