%0 Conference Paper %1 conf/atva/ShenQL04 %A Shen, ShengYu %A Qin, Ying %A Li, Sikun %B ATVA %D 2004 %E Wang, Farn %I Springer %K dblp %P 456-469 %T Localizing Errors in Counterexample with Iteratively Witness Searching. %U http://dblp.uni-trier.de/db/conf/atva/atva2004.html#ShenQL04 %V 3299 %@ 3-540-23610-4

@inproceedings{conf/atva/ShenQL04, added-at = {2017-05-21T00:00:00.000+0200}, author = {Shen, ShengYu and Qin, Ying and Li, Sikun}, biburl = {https://www.bibsonomy.org/bibtex/283395d41f2bf163f1d6e4ba599fdae53/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2004}, editor = {Wang, Farn}, ee = {https://doi.org/10.1007/978-3-540-30476-0_37}, interhash = {c5b5fd1e19ef7f1a3920d806c029b050}, intrahash = {83395d41f2bf163f1d6e4ba599fdae53}, isbn = {3-540-23610-4}, keywords = {dblp}, pages = {456-469}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:01:10.000+0200}, title = {Localizing Errors in Counterexample with Iteratively Witness Searching.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2004.html#ShenQL04}, volume = 3299, year = 2004 }