%0 Conference Paper %1 conf/fmcad/Parizek16 %A Parízek, Pavel %B FMCAD %D 2016 %E Piskac, Ruzica %E Talupur, Muralidhar %I IEEE %K dblp %P 141-148 %T Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#Parizek16 %@ 978-0-9835678-6-8

@inproceedings{conf/fmcad/Parizek16, added-at = {2019-10-22T00:00:00.000+0200}, author = {Parízek, Pavel}, biburl = {https://www.bibsonomy.org/bibtex/212ad9332fdce17a54e2d3ed5b6feb12e/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2016}, editor = {Piskac, Ruzica and Talupur, Muralidhar}, ee = {https://www.wikidata.org/entity/Q58028866}, interhash = {f51ecab3761843e2f71333fa5ca256af}, intrahash = {12ad9332fdce17a54e2d3ed5b6feb12e}, isbn = {978-0-9835678-6-8}, keywords = {dblp}, pages = {141-148}, publisher = {IEEE}, timestamp = {2019-10-23T11:42:34.000+0200}, title = {Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#Parizek16}, year = 2016 }