No label defined (Q3619268)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
3 April 2009
0 references
input output conformance
0 references
ioco
0 references
on-the-fly verification
0 references
labeled transition systems
0 references
