<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2006-06-22 11:47:16Microsoft Cluster Server Message Sequence Chart Mathematics Computing Applied mathematics Formal languages Automata theory Model theory |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2006-06-22 11:47:16Microsoft Cluster Server Message Sequence Chart Mathematics Computing Applied mathematics Formal languages Automata theory Model theory |
Add to Reading List |
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. XX, NO. Y, YEAR 100 Inference of Message Sequence Charts Rajeev Alur, Kousha Etessami, Mihalis Yannakakis