Cory Plock

	2009
3		Hillel Kugler, Cory Plock, Amir Pnueli: Controller Synthesis from LSC Requirements. FASE 2009: 79-93
	2007
2		Hillel Kugler, Cory Plock, Amir Pnueli: Synthesizing reactive systems from LSC requirements using the play-engine. OOPSLA Companion 2007: 801-802
	2005
1		Cory Plock, Benjamin Goldberg, Lenore D. Zuck: From Requirements to Specifications. ECBS 2005: 183-190

Coauthor Index

1	Benjamin Goldberg	[1]
2	Hillel Kugler	[2] [3]
3	Amir Pnueli	[2] [3]
4	Lenore D. Zuck	[1]