%0 Conference Paper %1 conf/qrs/Wang0SXC16 %A Wang, Ruoyu %A Li, Guoqiang %A Sun, Daniel W. %A Xiang, Jianwen %A Cai, Hongming %B QRS Companion %D 2016 %I IEEE %K dblp %P 171-177 %T CAT: A Customized Automata Toolkit. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2016c.html#Wang0SXC16 %@ 978-1-5090-3713-1

@inproceedings{conf/qrs/Wang0SXC16, added-at = {2018-06-19T00:00:00.000+0200}, author = {Wang, Ruoyu and Li, Guoqiang and Sun, Daniel W. and Xiang, Jianwen and Cai, Hongming}, biburl = {https://www.bibsonomy.org/bibtex/27a1b1287a2f44f334b844482dea434c0/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2016c}, ee = {https://doi.org/10.1109/QRS-C.2016.27}, interhash = {697a457f9eae53b3e83e718447596b48}, intrahash = {7a1b1287a2f44f334b844482dea434c0}, isbn = {978-1-5090-3713-1}, keywords = {dblp}, pages = {171-177}, publisher = {IEEE}, timestamp = {2019-10-17T16:35:08.000+0200}, title = {CAT: A Customized Automata Toolkit.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2016c.html#Wang0SXC16}, year = 2016 }