An adequate logic for Full LOTOS (2001)

by Muffy Calder , Savi Maharaj , Carron Shankland
Venue:FORMAL METHODS EUROPE'01, LNCS 2021
Citations:16 - 7 self