Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. - Research Portal | Lancaster University

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

LANCASTER UNIVERSITY LEIPZIG

Links

https://link.springer.com/chapter/10.1007/978-3-319-96145-3_30
Final published version

Text available via DOI:

https://doi.org/10.1007/978-3-319-96145-3_30
Final published version

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

Jan Kretínský
Tobias Meggendorfer
Salomon Sickert
Christopher Ziegler

Publication date	18/07/2018
Host publication	CAV 2018: Computer Aided Verification
Publisher	Springer
Pages	567-577
Number of pages	11
<mark>Original language</mark>	English