Safely freezing LTL (0)

by R Lazić
Venue:In FSTTCS: Found. of Softw. Technology and Theor. Comput. Sci., 26th Int. Conf. Lect. Notes Comput. Sci