Realizability Criteria for Compositional MSC

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/11784180_20 ◽

2006 ◽

pp. 248-262 ◽

Cited By ~ 8

Author(s):

Arjan Mooij ◽

Judi Romijn ◽

Wieger Wesselink

Download Full-text