%0 Conference Paper %1 conf/date/RingBLWD20 %A Ring, Martin %A Bornebusch, Fritjof %A Lüth, Christoph %A Wille, Robert %A Drechsler, Rolf %B DATE %D 2020 %I IEEE %K dblp %P 873-878 %T Verification Runtime Analysis: Get the Most Out of Partial Verification. %U http://dblp.uni-trier.de/db/conf/date/date2020.html#RingBLWD20 %@ 978-3-9819263-4-7

@inproceedings{conf/date/RingBLWD20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Ring, Martin and Bornebusch, Fritjof and Lüth, Christoph and Wille, Robert and Drechsler, Rolf}, biburl = {https://www.bibsonomy.org/bibtex/29678b4b4555df9a31898fa1563f09cd7/dblp}, booktitle = {DATE}, crossref = {conf/date/2020}, ee = {https://doi.org/10.23919/DATE48585.2020.9116543}, interhash = {ea4ef7de264f6b5940405d129f179165}, intrahash = {9678b4b4555df9a31898fa1563f09cd7}, isbn = {978-3-9819263-4-7}, keywords = {dblp}, pages = {873-878}, publisher = {IEEE}, timestamp = {2024-04-10T06:46:25.000+0200}, title = {Verification Runtime Analysis: Get the Most Out of Partial Verification.}, url = {http://dblp.uni-trier.de/db/conf/date/date2020.html#RingBLWD20}, year = 2020 }