Merging Behavior Specifications

Ferhat Khendek, Gregor von Bochmann. Merging Behavior Specifications. Formal Methods in System Design, 6(3):259-293, 1995.

Abstract

Abstract is missing.