Sebastian Uchitel;Manfred Broy;Ingolf H. Kruger;Jon Whittle
IEEE Computer Society;IEEE Computer Society;IEEE;-
Weak Alphabet Merging of Partial Behavior Models
ACM Transactions on Software Engineering and Methodology (TOSEM)