Shaker Sarwary

List of publications from the DBLP Bibliography Server - FAQ

1996
2		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS: A System for Verification and Synthesis. CAV 1996: 428-432
1		Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa: VIS. FMCAD 1996: 248-256

Coauthor Index

1	Adnan Aziz	[1] [2]
2	Robert K. Brayton	[1] [2]
3	Szu-Tsung Cheng	[1] [2]
4	Stephen A. Edwards	[1] [2]
5	Gary D. Hachtel	[1] [2]
6	Sunil P. Khatri	[1] [2]
7	Yuji Kukimoto	[1] [2]
8	Abelardo Pardo	[1] [2]
9	Shaz Qadeer	[1] [2]
10	Rajeev K. Ranjan	[1] [2]
11	Alberto L. Sangiovanni-Vincentelli	[1] [2]
12	Thomas R. Shiple	[1] [2]
13	Fabio Somenzi	[1] [2]
14	Gitanjali Swamy	[1] [2]
15	Tiziano Villa	[1] [2]