Home > Research > Publications & Outputs > Index Appearance Record for Transforming Rabin ...

Research

Links

Text available via DOI:

View graph of relations

Index Appearance Record for Transforming Rabin Automata into Parity Automata.

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

Published

Standard

Index Appearance Record for Transforming Rabin Automata into Parity Automata. / Kretínský, Jan; Meggendorfer, Tobias; Waldmann, Clara et al.
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2017. p. 443-460.

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

Harvard

Kretínský, J, Meggendorfer, T, Waldmann, C & Weininger, M 2017, Index Appearance Record for Transforming Rabin Automata into Parity Automata. in TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, pp. 443-460. https://doi.org/10.1007/978-3-662-54577-5_26

APA

Kretínský, J., Meggendorfer, T., Waldmann, C., & Weininger, M. (2017). Index Appearance Record for Transforming Rabin Automata into Parity Automata. In TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems (pp. 443-460). Springer. https://doi.org/10.1007/978-3-662-54577-5_26

Vancouver

Kretínský J, Meggendorfer T, Waldmann C, Weininger M. Index Appearance Record for Transforming Rabin Automata into Parity Automata. In TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer. 2017. p. 443-460 doi: 10.1007/978-3-662-54577-5_26

Author

Kretínský, Jan ; Meggendorfer, Tobias ; Waldmann, Clara et al. / Index Appearance Record for Transforming Rabin Automata into Parity Automata. TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems. Springer, 2017. pp. 443-460

Bibtex

@inproceedings{c53335cc80554f838a5d15733d26de6a,
title = "Index Appearance Record for Transforming Rabin Automata into Parity Automata.",
author = "Jan Kret{\'i}nsk{\'y} and Tobias Meggendorfer and Clara Waldmann and Maximilian Weininger",
year = "2017",
month = mar,
day = "31",
doi = "10.1007/978-3-662-54577-5_26",
language = "English",
isbn = "9783662545768",
pages = "443--460",
booktitle = "TACAS 2017",
publisher = "Springer",

}

RIS

TY - GEN

T1 - Index Appearance Record for Transforming Rabin Automata into Parity Automata.

AU - Kretínský, Jan

AU - Meggendorfer, Tobias

AU - Waldmann, Clara

AU - Weininger, Maximilian

PY - 2017/3/31

Y1 - 2017/3/31

U2 - 10.1007/978-3-662-54577-5_26

DO - 10.1007/978-3-662-54577-5_26

M3 - Conference contribution/Paper

SN - 9783662545768

SP - 443

EP - 460

BT - TACAS 2017

PB - Springer

ER -