Fault-free refinements for interface automata (Q4621227)
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: Fault-free refinements for interface automata |
scientific article; zbMATH DE number 7020217
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fault-free refinements for interface automata |
scientific article; zbMATH DE number 7020217 |
Statements
Fault-Free Refinements for Interface Automata (English)
0 references
8 February 2019
0 references
refinement
0 references
precongruence
0 references
conjunction
0 references
quotient
0 references
quiescence
0 references
divergence
0 references
0.7958630323410034
0 references
0.7950835227966309
0 references
0.7404199838638306
0 references
0.7144156694412231
0 references
0.7110625505447388
0 references
