Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon (2018) Owl: A Library for ω-Words, Automata, and LTL. In: ATVA 2018 : Automated Technology for Verification and Analysis. Springer, pp. 543-550. ISBN 9783030010898
Full text not available from this repository.Item Type:
Contribution in Book/Report/Proceedings
ID Code:
213819
Deposited By:
Deposited On:
06 Feb 2024 11:15
Refereed?:
Yes
Published?:
Published
Last Modified:
13 Mar 2024 00:32