Home > Research > Publications & Outputs > Owl: A Library for ω-Words, Automata, and LTL.

Research

Links

Text available via DOI:

View graph of relations

Owl: A Library for ω-Words, Automata, and LTL.

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

Published

Standard

Owl: A Library for ω-Words, Automata, and LTL. / Kretínský, Jan; Meggendorfer, Tobias; Sickert, Salomon.
ATVA 2018: Automated Technology for Verification and Analysis. Springer, 2018. p. 543-550.

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

Harvard

Kretínský, J, Meggendorfer, T & Sickert, S 2018, Owl: A Library for ω-Words, Automata, and LTL. in ATVA 2018: Automated Technology for Verification and Analysis. Springer, pp. 543-550. https://doi.org/10.1007/978-3-030-01090-4_34

APA

Kretínský, J., Meggendorfer, T., & Sickert, S. (2018). Owl: A Library for ω-Words, Automata, and LTL. In ATVA 2018: Automated Technology for Verification and Analysis (pp. 543-550). Springer. https://doi.org/10.1007/978-3-030-01090-4_34

Vancouver

Kretínský J, Meggendorfer T, Sickert S. Owl: A Library for ω-Words, Automata, and LTL. In ATVA 2018: Automated Technology for Verification and Analysis. Springer. 2018. p. 543-550 doi: 10.1007/978-3-030-01090-4_34

Author

Kretínský, Jan ; Meggendorfer, Tobias ; Sickert, Salomon. / Owl: A Library for ω-Words, Automata, and LTL. ATVA 2018: Automated Technology for Verification and Analysis. Springer, 2018. pp. 543-550

Bibtex

@inproceedings{923b3c1b2c974a2b89243b13087fb00a,
title = "Owl: A Library for ω-Words, Automata, and LTL.",
author = "Jan Kret{\'i}nsk{\'y} and Tobias Meggendorfer and Salomon Sickert",
year = "2018",
doi = "10.1007/978-3-030-01090-4_34",
language = "English",
isbn = "9783030010898",
pages = "543--550",
booktitle = "ATVA 2018",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Owl: A Library for ω-Words, Automata, and LTL.

AU - Kretínský, Jan

AU - Meggendorfer, Tobias

AU - Sickert, Salomon

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-030-01090-4_34

DO - 10.1007/978-3-030-01090-4_34

M3 - Conference contribution/Paper

SN - 9783030010898

SP - 543

EP - 550

BT - ATVA 2018

PB - Springer

ER -