Design of reactive systems and their distributed implementation with statecharts

Peter Scholz. Design of reactive systems and their distributed implementation with statecharts. PhD thesis, Technical University Munich, Germany, 1998. [doi]

Abstract

Abstract is missing.