Externalized and Internalized Notions of Behavioral Refinement

Theoretical Aspects of Computing – ICTAC 2005 - Lecture Notes in Computer Science ◽

10.1007/11560647_22 ◽

2005 ◽

pp. 334-350 ◽

Cited By ~ 1

Author(s):

Michel Bidoit ◽

Rolf Hennicker

Download Full-text