Karem Sakallah

	2009
1		Zijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336

Coauthor Index

1	Bashar Al-Rawi	[1]
2	Radu Grosu	[1]
3	Xiaowan Huang	[1]
4	Scott A. Smolka	[1]
5	Zijiang Yang	[1]