Testing Hennessy-Milner Logic with Recursion.

Luca Aceto, Anna Inglfsdttir

Browse the full FOSSACS paper archive.