- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 2 |      | Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman: A Temporal Language for SystemC. FMCAD 2008: 1-9 |
| 2005 | ||
| 1 | | Deian Tabakov, Moshe Y. Vardi: Experimental Evaluation of Classical Automata Constructions. LPAR 2005: 396-411 |
| 1 | Gila Kamhi | [2] |
| 2 | Eli Singerman | [2] |
| 3 | Moshe Y. Vardi | [1] [2] |