| |
| 2007 | ||
|---|---|---|
| 2 | EE | Hillel Kugler, Cory Plock, Amir Pnueli: Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802 |
| 2005 | ||
| 1 | EE | Cory Plock, Benjamin Goldberg, Lenore D. Zuck: From Requirements to Specifications. ECBS 2005: 183-190 |
| 1 | Benjamin Goldberg | [1] |
| 2 | Hillel Kugler | [2] |
| 3 | Amir Pnueli | [2] |
| 4 | Lenore D. Zuck | [1] |