B.: Computing behavioural relations, logically (1991)

by R Cleaveland, Steffen
Venue:LNCS