Abstractions for transition systems with applications to stubborn sets (Q1708713)
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: Abstractions for transition systems with applications to stubborn sets |
scientific article; zbMATH DE number 6852766
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstractions for transition systems with applications to stubborn sets |
scientific article; zbMATH DE number 6852766 |
Statements
Abstractions for transition systems with applications to stubborn sets (English)
0 references
26 March 2018
0 references
0.8803379
0 references
0.87061465
0 references
0.86591387
0 references
0.86532277
0 references
0.8620653
0 references
0.86120737
0 references