Action Relations. Basic Design Concepts for Behaviour Modelling and Refinement

Dick A. C. Quartel. Action Relations. Basic Design Concepts for Behaviour Modelling and Refinement. PhD thesis, University of Twente, Enschede, Netherlands, 1998. [doi]

Abstract

Abstract is missing.