Modal and mixed specifications: key decision problems and their complexities (Q3550702)
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: Modal and mixed specifications: key decision problems and their complexities |
scientific article; zbMATH DE number 5689291
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Modal and mixed specifications: key decision problems and their complexities |
scientific article; zbMATH DE number 5689291 |
Statements
Modal and mixed specifications: key decision problems and their complexities (English)
0 references
1 April 2010
0 references
transition systems
0 references
0 references
0.922143816947937
0 references
0.9172651171684264
0 references
0.8051144480705261
0 references
0.7765060067176819
0 references
0.7584162950515747
0 references
