Two-Player Reachability-Price Games on Single-Clock Timed Automata
Article in Electronic Proceedings in Theoretical Computer Science (July 2011)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in Electronic Proceedings in Theoretical Computer Science (July 2011)
Article in Theoretical Computer Science (May 2011)