Reasoning about systems with evolving structure

Anna Philippou. Reasoning about systems with evolving structure. PhD thesis, University of Warwick, Coventry, UK, 1996. [doi]

Abstract

Abstract is missing.