Testing Hennessy-Milner logic with recursion (1999)

by L Aceto, A Ingolfsdottir
Venue:In FoSSaCS’99