![](/img/cover-not-exists.png)
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts
Kakiuchi, Yosuke, Nakagawa, Tomofumi, Hamaguchi, Kiyoharu, Tanimoto, Tadaaki, Nakanishi, MasakiVolume:
4
Year:
2011
Language:
english
Journal:
IPSJ Transactions on System LSI Design Methodology
DOI:
10.2197/ipsjtsldm.4.210
File:
PDF, 703 KB
english, 2011