Jürgen Ruf, Prakash Mohan Peranandam, Thomas Kropf, Wolfgang Rosenstiel. Using Symbolic Simulation for Bounded Property Checking. In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings. pages 374-385, ECSI, 2003. [doi]
Abstract is missing.