%0 Conference Paper %1 conf/issta/Isabel19 %A Isabel, Miguel %B ISSTA %D 2019 %E Zhang, Dongmei %E Møller, Anders %I ACM %K dblp %P 433-437 %T Conditional dynamic partial order reduction and optimality results. %U http://dblp.uni-trier.de/db/conf/issta/issta2019.html#Isabel19 %@ 978-1-4503-6224-5

@inproceedings{conf/issta/Isabel19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Isabel, Miguel}, biburl = {https://www.bibsonomy.org/bibtex/235d51d2a59d4adfc3ddb4d682f4fc6cd/dblp}, booktitle = {ISSTA}, crossref = {conf/issta/2019}, editor = {Zhang, Dongmei and Møller, Anders}, ee = {https://doi.org/10.1145/3293882.3338987}, interhash = {6aec70d59d6998f167cf3bd4fad7b586}, intrahash = {35d51d2a59d4adfc3ddb4d682f4fc6cd}, isbn = {978-1-4503-6224-5}, keywords = {dblp}, pages = {433-437}, publisher = {ACM}, timestamp = {2024-05-13T09:51:01.000+0200}, title = {Conditional dynamic partial order reduction and optimality results.}, url = {http://dblp.uni-trier.de/db/conf/issta/issta2019.html#Isabel19}, year = 2019 }