Kim Guldstrand Larsen;Bernhard Steffen;Carsten Weise
-;-;-
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)