%0 Conference Paper %1 conf/fase/BeyerKR22 %A Beyer, Dirk %A Kanav, Sudeep %A Richter, Cedric %B FASE %D 2022 %E Johnsen, Einar Broch %E Wimmer, Manuel %I Springer %K dblp %P 49-70 %T Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. %U http://dblp.uni-trier.de/db/conf/fase/fase2022.html#BeyerKR22 %V 13241 %@ 978-3-030-99429-7

@inproceedings{conf/fase/BeyerKR22, added-at = {2022-04-29T00:00:00.000+0200}, author = {Beyer, Dirk and Kanav, Sudeep and Richter, Cedric}, biburl = {https://www.bibsonomy.org/bibtex/29abed9024568f2de96525282760b212b/dblp}, booktitle = {FASE}, crossref = {conf/fase/2022}, editor = {Johnsen, Einar Broch and Wimmer, Manuel}, ee = {https://doi.org/10.1007/978-3-030-99429-7_3}, interhash = {ea475a656d24b98989efc9e8da09e9c0}, intrahash = {9abed9024568f2de96525282760b212b}, isbn = {978-3-030-99429-7}, keywords = {dblp}, pages = {49-70}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T02:32:27.000+0200}, title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2022.html#BeyerKR22}, volume = 13241, year = 2022 }