%0 Conference Paper %1 conf/bic-ta/YangHZYl13 %A Yang, Hao %A He, Anping %A Zhang, Zhiwei %A Yang, Shihan %A Liu, Yang %B BIC-TA %D 2013 %E Yin, Zhixiang %E Pan, Linqiang %E Fang, Xianwen %I Springer %K dblp %P 233-237 %T Approximate Completed Trace Equivalence of Linear Algebra Transition Systems. %U http://dblp.uni-trier.de/db/conf/bic-ta/bic-ta2013.html#YangHZYl13 %V 212 %@ 978-3-642-37501-9

@inproceedings{conf/bic-ta/YangHZYl13, added-at = {2018-11-02T00:00:00.000+0100}, author = {Yang, Hao and He, Anping and Zhang, Zhiwei and Yang, Shihan and Liu, Yang}, biburl = {https://www.bibsonomy.org/bibtex/2571f37e36a82159c6019ea52bd2e40cd/dblp}, booktitle = {BIC-TA}, crossref = {conf/bic-ta/2013}, editor = {Yin, Zhixiang and Pan, Linqiang and Fang, Xianwen}, ee = {https://doi.org/10.1007/978-3-642-37502-6_29}, interhash = {f56826b3bd85d3f54505dcdf7f81f052}, intrahash = {571f37e36a82159c6019ea52bd2e40cd}, isbn = {978-3-642-37501-9}, keywords = {dblp}, pages = {233-237}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2018-11-03T16:48:53.000+0100}, title = {Approximate Completed Trace Equivalence of Linear Algebra Transition Systems.}, url = {http://dblp.uni-trier.de/db/conf/bic-ta/bic-ta2013.html#YangHZYl13}, volume = 212, year = 2013 }