Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis (Q3522912)
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: Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis |
scientific article; zbMATH DE number 5321064
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis |
scientific article; zbMATH DE number 5321064 |
Statements
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis (English)
0 references
4 September 2008
0 references
0.7468457221984863
0 references
0.7447437047958374
0 references
0.7273170351982117
0 references
0.7247411012649536
0 references
0.716713547706604
0 references
