Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (Q5233244)
From MaRDI portal
scientific article; zbMATH DE number 7105468
Language | Label | Description | Also known as |
---|---|---|---|
English | Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification |
scientific article; zbMATH DE number 7105468 |
Statements
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification (English)
0 references
16 September 2019
0 references