共 50 条
- [25] Runtime Enforcement using Buchi Games SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 70 - 79
- [26] GREP: Games for the Runtime Enforcement of Properties TESTING SOFTWARE AND SYSTEMS (ICTSS 2017), 2017, 10533 : 259 - 275