No label defined (Q5146121)
From MaRDI portal
 | This is a page for a Wikibase entity. It is used by other Wikibase pages, but it is generally not meant to be viewed directly. See scientific article; zbMATH DE number 7300356 for the user view. |
scientific article; zbMATH DE number 7300356
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7300356 |
Statements
25 January 2021
0 references
labelled transition systems
0 references
nondeterministic finite-state machine
0 references
timed finite-state machine
0 references
distinguishing experiment
0 references
compatibility
0 references
adaptive experiment
0 references
