%0 Conference Paper %1 conf/tacas/BeyerK22 %A Beyer, Dirk %A Kanav, Sudeep %B TACAS (1) %D 2022 %E Fisman, Dana %E Rosu, Grigore %I Springer %K dblp %P 561-579 %T CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#BeyerK22 %V 13243 %@ 978-3-030-99524-9

@inproceedings{conf/tacas/BeyerK22, added-at = {2022-04-29T00:00:00.000+0200}, author = {Beyer, Dirk and Kanav, Sudeep}, biburl = {https://www.bibsonomy.org/bibtex/214af3456a0590f95a4fb1a8c44c48904/dblp}, booktitle = {TACAS (1)}, crossref = {conf/tacas/2022-1}, editor = {Fisman, Dana and Rosu, Grigore}, ee = {https://doi.org/10.1007/978-3-030-99524-9_31}, interhash = {e3b0bea9e65e2bc58350d34d424c96be}, intrahash = {14af3456a0590f95a4fb1a8c44c48904}, isbn = {978-3-030-99524-9}, keywords = {dblp}, pages = {561-579}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T20:56:46.000+0200}, title = {CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2022-1.html#BeyerK22}, volume = 13243, year = 2022 }