| 1986 | ||
|---|---|---|
| 2 | Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra: Compiling Path Expressions Into VLSI Circuits. Distributed Computing 1(3): 150-166 (1986) | |
| 1985 | ||
| 1 | Thomas S. Anantharaman, Edmund M. Clarke, Michael J. Foster, Bud Mishra: Compiling Path Expressions into VLSI Circuits. POPL 1985: 191-204 | |
| 1 | Thomas S. Anantharaman | [1] [2] |
| 2 | Edmund M. Clarke | [1] [2] |
| 3 | Bud Mishra (Bhubaneswar Mishra) | [1] [2] |