%0 Conference Paper %1 conf/mbmv/ScheiblerEB16 %A Scheibler, Karsten %A Erb, Dominik %A Becker, Bernd %B MBMV %D 2016 %E Wimmer, Ralf %I Albert-Ludwigs-Universität Freiburg %K %P 138 %T Applying Tailored Formal Methods to X-ATPG. %U http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#ScheiblerEB16 %@ 978-3-00-052380-9

@inproceedings{conf/mbmv/ScheiblerEB16, added-at = {2023-12-13T04:43:35.000+0100}, author = {Scheibler, Karsten and Erb, Dominik and Becker, Bernd}, biburl = {https://www.bibsonomy.org/bibtex/2927e86e105f4cc731fa44c875bae4345/admin}, booktitle = {MBMV}, crossref = {conf/mbmv/2016}, editor = {Wimmer, Ralf}, ee = {https://doi.org/10.6094/UNIFR/10647}, interhash = {998984b8a6778ede702db2c2bb6de233}, intrahash = {927e86e105f4cc731fa44c875bae4345}, isbn = {978-3-00-052380-9}, keywords = {}, pages = 138, publisher = {Albert-Ludwigs-Universität Freiburg}, timestamp = {2023-12-13T04:43:35.000+0100}, title = {Applying Tailored Formal Methods to X-ATPG.}, url = {http://dblp.uni-trier.de/db/conf/mbmv/mbmv2016.html#ScheiblerEB16}, year = 2016 }