![]() | ![]() |
2009 | ||
---|---|---|
3 | EE | Hillel Kugler, Cory Plock, Amir Pnueli: Controller Synthesis from LSC Requirements. FASE 2009: 79-93 |
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] |
3 | Amir Pnueli | [2] [3] |
4 | Lenore D. Zuck | [1] |