No label defined (Q4535059)
From MaRDI portal
scientific article; zbMATH DE number 1754631
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1754631 |
Statements
12 June 2002
0 references
message sequence charts
0 references
specification
0 references
HMSC
0 references
bounded automata
0 references
partial order specification
0 references
