![]() | ![]() |
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] |