Prakash Mohan Peranandam

	2007
5		Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Grid Based Fast Falsification For Bounded Property Checking. FDL 2007: 299-304
4		Prakash Mohan Peranandam: Efficient system traversal and property verification by exploiting circuit locality. Eberhard Karls University of Tübingen 2007: 1-119
	2006
3		Prakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel: Fast falsification based on symbolic bounded property checking. DAC 2006: 1077-1082
2		Pradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel: Distributed Symbolic Bounded Property Checking. Electr. Notes Theor. Comput. Sci. 135(2): 47-63 (2006)
	2003
1		Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel: Using Symbolic Simulation for Bounded Property Checking. FDL 2003: 374-385

Coauthor Index

1	Jörg Behrend	[5]
2	Thomas Kropf	[1] [2] [3] [5]
3	Pradeep Kumar Nalla	[2] [3] [5]
4	Wolfgang Rosenstiel	[1] [2] [3] [5]
5	Jürgen Ruf	[1] [2] [3] [5]
6	Roland J. Weiss (Roland Weiss)	[2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page