Home > Research > Publications & Outputs > Rabinizer 4: From LTL to Your Favourite Determi...

Research

Links

Text available via DOI:

View graph of relations

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. / Kretínský, Jan; Meggendorfer, Tobias; Sickert, Salomon et al.
CAV 2018: Computer Aided Verification . Springer, 2018. p. 567-577.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Kretínský, J, Meggendorfer, T, Sickert, S & Ziegler, C 2018, Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. in CAV 2018: Computer Aided Verification . Springer, pp. 567-577. https://doi.org/10.1007/978-3-319-96145-3_30

APA

Kretínský, J., Meggendorfer, T., Sickert, S., & Ziegler, C. (2018). Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. In CAV 2018: Computer Aided Verification (pp. 567-577). Springer. https://doi.org/10.1007/978-3-319-96145-3_30

Vancouver

Kretínský J, Meggendorfer T, Sickert S, Ziegler C. Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. In CAV 2018: Computer Aided Verification . Springer. 2018. p. 567-577 doi: 10.1007/978-3-319-96145-3_30

Author

Kretínský, Jan ; Meggendorfer, Tobias ; Sickert, Salomon et al. / Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. CAV 2018: Computer Aided Verification . Springer, 2018. pp. 567-577

Bibtex

@inproceedings{cf754c32fa3342e8915ea6ba4a31fdea,
title = "Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.",
author = "Jan Kret{\'i}nsk{\'y} and Tobias Meggendorfer and Salomon Sickert and Christopher Ziegler",
year = "2018",
month = jul,
day = "18",
doi = "10.1007/978-3-319-96145-3_30",
language = "English",
pages = "567--577",
booktitle = "CAV 2018: Computer Aided Verification",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

AU - Kretínský, Jan

AU - Meggendorfer, Tobias

AU - Sickert, Salomon

AU - Ziegler, Christopher

PY - 2018/7/18

Y1 - 2018/7/18

U2 - 10.1007/978-3-319-96145-3_30

DO - 10.1007/978-3-319-96145-3_30

M3 - Conference contribution/Paper

SP - 567

EP - 577

BT - CAV 2018: Computer Aided Verification

PB - Springer

ER -