Li-on Raviv

	2006
2		Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar: Model Checking with Strong Fairness. Formal Methods in System Design 28(1): 57-84 (2006)
	1998
1		Yonit Kesten, Amir Pnueli, Li-on Raviv: Algorithmic Verification of Linear Temporal Logic Specifications. ICALP 1998: 1-16

Coauthor Index

1	Yonit Kesten	[1] [2]
2	Amir Pnueli	[1] [2]
3	Elad Shahar	[2]