| |
| 1995 | ||
|---|---|---|
| 2 | Anuchit Anuchitanukul, Zohar Manna, Tomás E. Uribe: Differential BDDs. Computer Science Today 1995: 218-233 | |
| 1994 | ||
| 1 | Anuchit Anuchitanukul, Zohar Manna: Realizability and Synthesis of Reactive Modules. CAV 1994: 156-168 | |
| 1 | Zohar Manna | [1] [2] |
| 2 | Tomás E. Uribe | [2] |