%0 Conference Paper %1 conf/tacas/BuddeH21 %A Budde, Carlos E. %A Hartmanns, Arnd %B TACAS (2) %D 2021 %E Groote, Jan Friso %E Larsen, Kim Guldstrand %I Springer %K dblp %P 373-380 %T Replicating sc Restart with Prolonged Retrials: An Experimental Report. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#BuddeH21 %V 12652 %@ 978-3-030-72013-1

@inproceedings{conf/tacas/BuddeH21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Budde, Carlos E. and Hartmanns, Arnd}, biburl = {https://www.bibsonomy.org/bibtex/2c696bf1bbb9c79dc75df626270081d98/dblp}, booktitle = {TACAS (2)}, crossref = {conf/tacas/2021-2}, editor = {Groote, Jan Friso and Larsen, Kim Guldstrand}, ee = {https://doi.org/10.1007/978-3-030-72013-1_21}, interhash = {d6cbd146c2fc0cf89552a80a88538e64}, intrahash = {c696bf1bbb9c79dc75df626270081d98}, isbn = {978-3-030-72013-1}, keywords = {dblp}, pages = {373-380}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:28.000+0200}, title = {Replicating sc Restart with Prolonged Retrials: An Experimental Report.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2021-2.html#BuddeH21}, volume = 12652, year = 2021 }