- Titel:
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
- Dokumenttyp:
- Zeitschriftenaufsatz
- Autor(en):
- Esparza, Javier ; Křetínský, Jan ; Raskin, Jean-François ; Sickert, Salomon
- Stichworte:
- General ; Linear temporal logic ; Deterministic parity automata ; Synthesis
- Zeitschriftentitel:
- International Journal on Software Tools for Technology Transfer
- Jahr:
- 2022
- Band / Volume:
- 24
- Heft / Issue:
- 4
- Seitenangaben Beitrag:
- 635-659
- Volltext / DOI:
- doi:10.1007/s10009-022-00663-1
- Verlag / Institution:
- Springer Berlin Heidelberg
- E-ISSN:
- 1433-2779 ; 1433-2787
- Publikationsdatum:
- 23.07.2022
BibTeX
Login
