Proof systems for Hennessy-Milner logic with recursion (1988)

by Kim G Larsen
Venue:In Proceedings of CAAP'88, Lecture Notes in Computer Science