Behavioural Theories and The Proof of Behavioural Properties (1996)

by Michel Bidoit , Rolf Hennicker
Citations:32 - 8 self