The following publications are possibly variants of this publication:
- Using Symbolic Simulation for Bounded Property CheckingJürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel. fdl 2003: 374-385 [doi]
- Distributed Symbolic Bounded Property CheckingPradeep Kumar Nalla, Roland J. Weiss, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. ENTCS, 135(2):47-63, 2006. [doi]
- Fast falsification based on symbolic bounded property checkingPrakash Mohan Peranandam, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel. dac 2006: 1077-1082 [doi]