共 50 条
- [23] Faster solutions of Rabin and Streett games 21ST ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2006, : 275 - +
- [25] Integrating synchronization with priority into a Kronecker representation COMPUTER PERFORMANCE EVALUATION, PROCEEDINGS: MODELLING TECHNIQUES AND TOOLS, 2000, 1786 : 203 - 215
- [27] Learning Games Factory: Construction of Learning Games Using a Component-Based Approach PROCEEDINGS OF THE 4TH EUROPEAN CONFERENCE ON GAMES BASED LEARNING, 2010, : 19 - 30
- [28] Synchronization for Diffusion-based Molecular Communication Systems via Faster Molecules ICC 2019 - 2019 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2019,
- [29] Improving Priority Promotion for Parity Games HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, HVC 2016, 2016, 10028 : 117 - 133