Testing Hennessy-Milner Logic with Recursion

Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures ◽

10.1007/3-540-49019-1_4 ◽

1999 ◽

pp. 41-55 ◽

Cited By ~ 11

Author(s):

Luca Aceto ◽

Anna Ingólfsdóttir

Download Full-text