Formalizing the translation of CTL into Lµ (2003)

by H Amjad
Venue:Supplementary Proceedings of the 16th International Conference on Theorem Proving in Higher Order Logics, number 187 in Technical Reports