A Modal Logic for Full LOTOS based on Symbolic Transition Systems (2002)

Cached

Download Links

by Muffy Calder , Savi Maharaj , Carron Shankland
Venue:The Computer Journal
Citations:19 - 6 self