Generalised stream X-machines with output delimited type (Q5944215)
From MaRDI portal
scientific article; zbMATH DE number 1652807
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalised stream X-machines with output delimited type |
scientific article; zbMATH DE number 1652807 |
Statements
Generalised stream X-machines with output delimited type (English)
0 references
27 September 2001
0 references
automata
0 references
W-testing method
0 references
stream X-machines
0 references
