Devi Shanmugam

List of publications from the DBLP Bibliography Server - FAQ

2006

1 EE Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10

2006
1	EE	Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler: Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD 2006: 3-10

Coauthor Index

1	Jason Baumgartner	[1]
2	Tilman Glökler	[1]
3	Gary A. Van Huben	[1]
4	Hari Mony	[1]
5	Barinjato Ramanandray	[1]
6	Paul Roessler	[1]
7	A. E. (Rick) Seigler (Adrian E. Seigler)	[1]