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:
13 Mar 2024 00:32