%0 Conference Paper %1 conf/ascm/LiSW12 %A Li, Yaohui %A Song, Yuqing %A Wu, Zhifeng %B ASCM %D 2012 %E Feng, Ruyong %E shin Lee, Wen %E Sato, Yosuke %I Springer %K dblp %P 297-310 %T Signature-Based Method of Deciding Program Termination. %U http://dblp.uni-trier.de/db/conf/ascm/ascm2012.html#LiSW12 %@ 978-3-662-43799-5

@inproceedings{conf/ascm/LiSW12, added-at = {2018-03-06T00:00:00.000+0100}, author = {Li, Yaohui and Song, Yuqing and Wu, Zhifeng}, biburl = {https://www.bibsonomy.org/bibtex/2f152a2273b28d6f0dd629a50f4fa9431/dblp}, booktitle = {ASCM}, crossref = {conf/ascm/2012}, editor = {Feng, Ruyong and shin Lee, Wen and Sato, Yosuke}, ee = {https://doi.org/10.1007/978-3-662-43799-5_22}, interhash = {dd2cad9477969002531d82a4aafcffc1}, intrahash = {f152a2273b28d6f0dd629a50f4fa9431}, isbn = {978-3-662-43799-5}, keywords = {dblp}, pages = {297-310}, publisher = {Springer}, timestamp = {2018-06-26T11:38:23.000+0200}, title = {Signature-Based Method of Deciding Program Termination.}, url = {http://dblp.uni-trier.de/db/conf/ascm/ascm2012.html#LiSW12}, year = 2012 }