Sany M. Leinwand
Sany Leinwand
- 1990
[j3]
- 1988
[j2]
[c7]
- 1984
[c6]
Sany M. Leinwand,
Yen-Tai Lai:
An algorithm for building rectangular floor-plans. DAC 1984: 663-664
- 1982
[c5]
Sany M. Leinwand:
Logical correctness by construction. DAC 1982: 825-831
- 1981
[c4]
Sany M. Leinwand:
Process oriented logic simulation. DAC 1981: 511-517
- 1980
[j1]
[c3]
Sany M. Leinwand,
T. Lamdan:
Algebraic analysis of nondeterministic behavior. DAC 1980: 483-493
[c2]
- 1979
[c1]
Sany M. Leinwand,
T. Lamdan:
Design verification based on functional abstraction. DAC 1979: 353-359
data released under the ODC-BY 1.0 license. See also our legal information page