No label defined (Q4639675)
From MaRDI portal
scientific article; zbMATH DE number 6867752
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 6867752 |
Statements
11 May 2018
0 references
formal specification
0 references
fair input/output automaton
0 references
temporal logic of actions
0 references
fair trace
0 references
fair trace inclusion
0 references