On Verifying Hennessy-Milner Logic with Recursion at Runtime.

Adrian Francalanza, Luca Aceto, Anna Inglfsdttir

Browse the full RV paper archive.