%0 Conference Paper %1 conf/mbmv/MentelST22 %A Mentel, Lukas %A Scheibler, Karsten %A Teige, Tino %B MBMV %D 2022 %I VDE/IEEE %K dblp %P 1-10 %T Detection and Elimination of Constants to Strengthen k-Induction. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2022.html#MentelST22 %@ 978-3-8007-5754-1

@inproceedings{conf/mbmv/MentelST22, added-at = {2024-01-12T00:00:00.000+0100}, author = {Mentel, Lukas and Scheibler, Karsten and Teige, Tino}, biburl = {https://www.bibsonomy.org/bibtex/2db12bffc69844d56ca428e982ec2abc7/dblp}, booktitle = {MBMV}, crossref = {conf/mbmv/2022}, ee = {https://ieeexplore.ieee.org/document/9788578}, interhash = {cb70228b7bab6ef20069fb2f213b8836}, intrahash = {db12bffc69844d56ca428e982ec2abc7}, isbn = {978-3-8007-5754-1}, keywords = {dblp}, pages = {1-10}, publisher = {VDE/IEEE}, timestamp = {2024-04-09T14:55:40.000+0200}, title = {Detection and Elimination of Constants to Strengthen k-Induction.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2022.html#MentelST22}, year = 2022 }