Multi-matching nested relations (Q2220863)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Multi-matching nested relations |
scientific article |
Statements
Multi-matching nested relations (English)
0 references
25 January 2021
0 references
multi-matching nested relation
0 references
multi-matching nested traceable automata
0 references
MNCARET formula
0 references
model checking
0 references
