Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.

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.

Full text not available from this repository.
Item Type:
Contribution in Book/Report/Proceedings
ID Code:
213818
Deposited By:
Deposited On:
06 Feb 2024 15:40
Refereed?:
Yes
Published?:
Published
Last Modified:
16 Jul 2024 05:25