Testing Hennessy-Milner Logic with Recursion (1998)

Cached

Download Links

by Luca Aceto , Anna Ingólfsdóttir , Anna Ing Olfsd Ottir
Venue:Foundations of Software Science and Computation Structures: Second International Conference, FoSSaCS ’99 Proceedings, LNCS
Citations:3 - 1 self