Login / Signup

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata.

Javier EsparzaJan KretínskýJean-François RaskinSalomon Sickert
Published in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases