EXPTIME-completeness of thorough refinement on modal transition systems (Q690504)
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: EXPTIME-completeness of thorough refinement on modal transition systems |
scientific article; zbMATH DE number 6110712
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | EXPTIME-completeness of thorough refinement on modal transition systems |
scientific article; zbMATH DE number 6110712 |
Statements
EXPTIME-completeness of thorough refinement on modal transition systems (English)
0 references
27 November 2012
0 references
modal transition systems
0 references
refinement
0 references
computational complexity
0 references
0.9559181
0 references
0.88203335
0 references
0.8752731
0 references
0.87212265
0 references
0.8703867
0 references
0.8657656
0 references
0.8641219
0 references
0.8635942
0 references
