Neha Rungta, Eric G. Mercer. Hardness for Explicit State Software Model Checking Benchmarks. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 247-256, IEEE Computer Society, 2007. [doi]
@inproceedings{RungtaM07, title = {Hardness for Explicit State Software Model Checking Benchmarks}, author = {Neha Rungta and Eric G. Mercer}, year = {2007}, doi = {10.1109/SEFM.2007.23}, url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.23}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/RungtaM07}, cites = {0}, citedby = {0}, pages = {247-256}, booktitle = {Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2884-7}, }