Kuntal Nanshi

	2009
3		Kuntal Nanshi, Fabio Somenzi: Constraints in one-to-many concretization for abstraction refinement. DAC 2009: 569-574
	2008
2		Kuntal Nanshi, Fabio Somenzi: Improved Visibility in One-to-Many Trace Concretization. DATE 2008: 819-824
	2006
1		Kuntal Nanshi, Fabio Somenzi: Guiding simulation with increasingly refined abstract traces. DAC 2006: 737-742

Coauthor Index

1

Fabio Somenzi

[1] [2] [3]