| 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] |