Yaniv Sa'ar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

2 Amir Pnueli, Yaniv Sa'ar: All You Need Is Compassion. VMCAI 2008: 233-247

2006

1 Nir Piterman, Amir Pnueli, Yaniv Sa'ar: Synthesis of Reactive(1) Designs. VMCAI 2006: 364-380

	2008
2		Amir Pnueli, Yaniv Sa'ar: All You Need Is Compassion. VMCAI 2008: 233-247
	2006
1		Nir Piterman, Amir Pnueli, Yaniv Sa'ar: Synthesis of Reactive(1) Designs. VMCAI 2006: 364-380

Coauthor Index