Items where Author is "Sickert, Salomon"

Kretínský, Jan and Meggendorfer, Tobias and Sickert, Salomon and Ziegler, Christopher (2018) Rabinizer 4: From LTL to Your Favourite Deterministic Automaton. In: CAV 2018: Computer Aided Verification :. Springer, pp. 567-577.

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