%0 Conference Paper %1 conf/cav/KokologiannakisMV23 %A Kokologiannakis, Michalis %A Marmanis, Iason %A Vafeiadis, Viktor %B CAV (1) %D 2023 %E Enea, Constantin %E Lal, Akash %I Springer %K dblp %P 230-250 %T Unblocking Dynamic Partial Order Reduction. %U http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#KokologiannakisMV23 %V 13964 %@ 978-3-031-37706-8

@inproceedings{conf/cav/KokologiannakisMV23, added-at = {2023-09-12T00:00:00.000+0200}, author = {Kokologiannakis, Michalis and Marmanis, Iason and Vafeiadis, Viktor}, biburl = {https://www.bibsonomy.org/bibtex/22c8d278c2880c5b5ccc366f69ba88ee3/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2023-1}, editor = {Enea, Constantin and Lal, Akash}, ee = {https://doi.org/10.1007/978-3-031-37706-8_12}, interhash = {96425a0b89f42399c6bb9680a1f1b709}, intrahash = {2c8d278c2880c5b5ccc366f69ba88ee3}, isbn = {978-3-031-37706-8}, keywords = {dblp}, pages = {230-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:16:32.000+0200}, title = {Unblocking Dynamic Partial Order Reduction.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2023-1.html#KokologiannakisMV23}, volume = 13964, year = 2023 }