Huili Xing. On the Succinctness of Modal μ-Calculus Based on Covariant-Contravariant Refinement. International Journal of Software Engineering and Knowledge Engineering, 33(4):513-542, 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.