Reed Milewicz, Peter Pirkelbauer. Refinement of structural heuristics for model checking of concurrent programs through data mining. Computer Languages, Systems \& Structures, 47:170-188, 2017. [doi]
@article{MilewiczP17, title = {Refinement of structural heuristics for model checking of concurrent programs through data mining}, author = {Reed Milewicz and Peter Pirkelbauer}, year = {2017}, doi = {10.1016/j.cl.2016.06.001}, url = {http://dx.doi.org/10.1016/j.cl.2016.06.001}, researchr = {https://researchr.org/publication/MilewiczP17}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {47}, pages = {170-188}, }