Property directed equivalence via abstract simulation (Q4633561)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 7050748
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Property directed equivalence via abstract simulation |
scientific article; zbMATH DE number 7050748 |
Statements
Property Directed Equivalence via Abstract Simulation (English)
0 references
3 May 2019
0 references
0.7378278970718384
0 references
0.732801616191864
0 references
0.7152417898178101
0 references
0.7067869901657104
0 references
0.691681444644928
0 references
