Observer Complete Definitions are Behaviourally Coherent (1999)

by Michel Bidoit , Rolf Hennicker
Venue:OBJ/CAFEOBJ/MAUDE AT FORMAL METHODS '99
Citations:34 - 6 self