LOADING

Items where Author is "Ziegler, Christopher"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Contribution in Book/Report/Proceedings
Number of items: 1.

Contribution in Book/Report/Proceedings

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.

This list was generated on Mon Jan 26 06:28:13 2026 UTC.