Published January 5, 2023
| Version v2
Software
Open
Artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata"
Description
This is an artifact for the TACAS'23 paper "Modular Mix-and-Match Complementation of Büchi Automata".
For instructions, see the README.md
file within the archive.