Old Web
English
Sign In
Acemap
>
Paper
>
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (LSI Design Methodology Vol.4)
Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts (LSI Design Methodology Vol.4)
2011
Yosuke Kakiuchi
Tomofumi Nakagawa
Kiyoharu Hamaguchi
Keywords:
Design methods
Computation
Theoretical computer science
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]