DMCA

A.: Timed automata with disjoint activity (2012)

by Bernd Westphal , Andreas Podelski
Venue:FORMATS 2012. LNCS
Citations:3 - 2 self