Automata-theoretic Decision of Timed Games (2013)

Cached

Download Links

by Marco Faella , Salvatore La Torre , Aniello Murano
Citations:11 - 3 self