%0 Conference Paper %1 conf/birthday/AbdullaAJS17 %A Abdulla, Parosh Aziz %A Aronis, Stavros %A Jonsson, Bengt %A Sagonas, Konstantinos %B Models, Algorithms, Logics and Tools %D 2017 %E Aceto, Luca %E Bacci, Giorgio %E Bacci, Giovanni %E Ingólfsdóttir, Anna %E Legay, Axel %E Mardare, Radu %I Springer %K dblp %P 516-536 %T Comparing Source Sets and Persistent Sets for Partial Order Reduction. %U http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#AbdullaAJS17 %V 10460 %@ 978-3-319-63121-9

@inproceedings{conf/birthday/AbdullaAJS17, added-at = {2021-08-31T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Aronis, Stavros and Jonsson, Bengt and Sagonas, Konstantinos}, biburl = {https://www.bibsonomy.org/bibtex/2e9ab37393de68070f79e6950319e44dd/dblp}, booktitle = {Models, Algorithms, Logics and Tools}, crossref = {conf/birthday/2017larsen}, editor = {Aceto, Luca and Bacci, Giorgio and Bacci, Giovanni and Ingólfsdóttir, Anna and Legay, Axel and Mardare, Radu}, ee = {https://doi.org/10.1007/978-3-319-63121-9_26}, interhash = {08a3b4724be9243ed136f52e52440a90}, intrahash = {e9ab37393de68070f79e6950319e44dd}, isbn = {978-3-319-63121-9}, keywords = {dblp}, pages = {516-536}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T13:51:38.000+0200}, title = {Comparing Source Sets and Persistent Sets for Partial Order Reduction.}, url = {http://dblp.uni-trier.de/db/conf/birthday/larsen2017.html#AbdullaAJS17}, volume = 10460, year = 2017 }