Pradeep Kumar Nalla, Jörg Behrend, Prakash Mohan Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Grid Based Fast Falsification For Bounded Property Checking. In Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings. pages 299-304, ECSI, 2007. [doi]
@inproceedings{NallaBPRKR07,
title = {Grid Based Fast Falsification For Bounded Property Checking},
author = {Pradeep Kumar Nalla and Jörg Behrend and Prakash Mohan Peranandam and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=286},
tags = {rule-based},
researchr = {https://researchr.org/publication/NallaBPRKR07},
cites = {0},
citedby = {0},
pages = {299-304},
booktitle = {Forum on specification and Design Languages, FDL 2007, September 18-20, 2007, Barcelona, Spain, Proceedings},
publisher = {ECSI},
}