User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

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

Document type:
Zeitschriftenaufsatz
Author(s):
Esparza, Javier ; Křetínský, Jan ; Raskin, Jean-François ; Sickert, Salomon
Keywords:
General ; Linear temporal logic ; Deterministic parity automata ; Synthesis
Journal title:
International Journal on Software Tools for Technology Transfer
Year:
2022
Journal volume:
24
Journal issue:
4
Pages contribution:
635-659
Fulltext / DOI:
doi:10.1007/s10009-022-00663-1
Publisher:
Springer Berlin Heidelberg
E-ISSN:
1433-2779 ; 1433-2787
Date of publication:
23.07.2022
 BibTeX