- Qualitative Concurrent Parity Games Krishnendu Chatterjee Mon 23 February 2015
- Concurrent Games with Tail Objectives Krishnendu Chatterjee Fri 28 February 2014
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
