Deciding Properties of Message Sequence Charts.

Anca Muscholl Doron A. Peled

Published in: Scenarios: Models, Transformations and Tools (2003)

Keyphrases

optimal solution
search algorithm
database
neural network
social networks
image processing
image sequences
multiscale
expert systems
email
multiresolution
event sequences
statistical process control