Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme

Alexander Harhurin. Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme. PhD thesis, Technical University Munich, 2010. [doi]

Abstract

Abstract is missing.