Volume 65; Issue 7

2

Specification and Verification using Message Sequence Charts

Year:
2002
Language:
english
File:
PDF, 125 KB
english, 2002
3

A Semantics for Timed MSC

Year:
2002
Language:
english
File:
PDF, 310 KB
english, 2002
4

Preface: Volume 65, Issue 7

Year:
2002
Language:
english
File:
PDF, 47 KB
english, 2002