Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages (Q5458316)
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: Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages |
scientific article; zbMATH DE number 5262357
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages |
scientific article; zbMATH DE number 5262357 |
Statements
Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages (English)
0 references
11 April 2008
0 references
0.797718346118927
0 references
0.797718346118927
0 references
0.7953751683235168
0 references
0.7700019478797913
0 references
0.7692145109176636
0 references
