Shobha Vasudevan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Improved verification of hardware designs through antecedent conditioned slicing. STTT 9(1): 89-101 (2007)

2 Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Efficient Model Checking of Hardware Using Conditioned Slicing. Electr. Notes Theor. Comput. Sci. 128(6): 279-294 (2005)

Selection of 2 from 7 records - Shobha Vasudevan has 5 coauthors

4		Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Improved verification of hardware designs through antecedent conditioned slicing. STTT 9(1): 89-101 (2007)
2		Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham: Efficient Model Checking of Hardware Using Conditioned Slicing. Electr. Notes Theor. Comput. Sci. 128(6): 279-294 (2005)