Cited By
View all- Kuperberg DPinault LPous D(2019)Coinductive Algorithms for Büchi AutomataDevelopments in Language Theory10.1007/978-3-030-24886-4_15(206-220)Online publication date: 10-Jul-2019
- Cranen SKeiren JWillemse T(2018)Parity game reductionsActa Informatica10.1007/s00236-017-0301-x55:5(401-444)Online publication date: 1-Aug-2018
- D'Antoni LVeanes M(2017)Forward Bisimulations for Nondeterministic Symbolic Finite AutomataProceedings, Part I, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 1020510.1007/978-3-662-54577-5_30(518-534)Online publication date: 22-Apr-2017
- Show More Cited By