Filter your results
- 1
- 1
- 1
- 1
- 1
- 17
- 391
- 1426
- 1491
- 1745
- 1201
- 1468
- 1549
- 1555
- 1735
- 2096
- 1738
- 1962
- 1581
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
From Assertion-based Verification to Assertion-based Synthesis17th International Conference on Very Large Scale Integration (VLSISOC), Oct 2009, Florianópolis, Brazil. pp.94-117, ⟨10.1007/978-3-642-23120-9_6⟩
Conference papers
hal-01478893v1
|