The common fragment of ACTL and LTL (2008)

by M Bojańczyk
Venue:In Foundations of Software Science and Computational Structures, 11th International Conference, FoSSaCS 2008, Proceedings