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

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

Published

Publication date	2018
Host publication	ATVA 2018: Automated Technology for Verification and Analysis
Publisher	Springer
Pages	543-550
Number of pages	8
ISBN (electronic)	9783030010904
ISBN (print)	9783030010898
<mark>Original language</mark>	English

Research