Barinjato Ramanandray

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

1 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		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	Paul Roessler	[1]
6	A. E. (Rick) Seigler (Adrian E. Seigler)	[1]
7	Devi Shanmugam	[1]