Author:
Gazda M. W.,Willemse T. A. C.
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial-order reduction for parity games and parameterised Boolean equation systems;International Journal on Software Tools for Technology Transfer;2022-10
2. Cooking Your Own Parity Game Preorders Through Matching Plays;International Journal of Foundations of Computer Science;2018-06
3. Parity game reductions;Acta Informatica;2017-08-04