An Approach to the Combination of Formal Description Techniques: Statecharts and TLA.

Thomas Dei

Browse the full IFM paper archive.