Merging Behavior Specifications

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

No reviews for this publication, yet.