Foundations for behavioural model elaboration using modal transition systems

Dario Fischbein. Foundations for behavioural model elaboration using modal transition systems. PhD thesis, Imperial College London, UK, 2012. [doi]

Abstract

Abstract is missing.