Two-Player Reachability-Price Games on Single-Clock Timed Automata
Article in Electronic Proceedings in Theoretical Computer Science (July 2011)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Electronic Proceedings in Theoretical Computer Science (July 2011)