DMCA

Distributed Timed Automata with Independently Evolving Clocks (2008)

by S. Akshay , Benedikt Bollig , Paul Gastin , Madhavan Mukund , K. Narayan Kumar
Citations:16 - 2 self