[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Energy and mean-payoff timed games
Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
- 作者Brenguier, Romain; Cassez, Franck; Raskin, Jean-François
- 文件大小726.22KB
- 发表时间2014
- DOI10.1145/2562059.2562116
- 页码283-292