Owl: A Library for $$\omega $$-Words, Automata, and LTL

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

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

2018 ◽

pp. 543-550 ◽

Author(s):

Jan Křetínský ◽

Tobias Meggendorfer ◽

Salomon Sickert

Download Full-text