Fibrational bisimulations and quantitative reasoning (Q1798795)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Fibrational bisimulations and quantitative reasoning |
scientific article; zbMATH DE number 6962938
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fibrational bisimulations and quantitative reasoning |
scientific article; zbMATH DE number 6962938 |
Statements
Fibrational bisimulations and quantitative reasoning (English)
0 references
23 October 2018
0 references
0.9845163
0 references
0.90475523
0 references
0.9005842
0 references
0.89423984
0 references
0.8894101
0 references
0.88706714
0 references
