I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Deterministic Automata for the (F,G)-fragment of LTL

Reference:

Jan Kretinsky and Javier Esparza. Deterministic automata for the (F,G)-fragment of LTL. In Madhusudan and Seshia, pages 7–22.

Suggested BibTeX entry:

@inproceedings{DBLP:confcavKretinskyE12,
    author = {Jan Kretinsky and Javier Esparza},
    booktitle = {CAV},
    editor = {P. Madhusudan and Sanjit A. Seshia},
    pages = {7-22},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Deterministic Automata for the ({F},{G})-fragment of {LTL}},
    volume = {7358},
    year = {2012}
}

This work is not available online here.