Commutativity of Reducers. Chen, Y., Hong, C., Sinha, N., & Wang, B. In Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS), pages 131-146, 2015. ![Commutativity of Reducers [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp1915479,
title = {Commutativity of Reducers},
author = {Yu-Fang Chen and Chih-Duo Hong and Nishant Sinha and Bow-Yaw Wang},
author_short = {Chen, Y. and Hong, C. and Sinha, N. and Wang, B.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2015},
key = {dblp1915479},
id = {dblp1915479},
biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/ChenHSW15},
url = {http://dx.doi.org/10.1007/978-3-662-46681-0_9},
conference = {TACAS},
pages = {131-146},
text = {TACAS 2015:131-146},
booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}
}
Downloads: 0
{"_id":"PYjGnWzwrBwfP8FB5","bibbaseid":"chen-hong-sinha-wang-commutativityofreducers-2015","downloads":0,"creationDate":"2016-02-18T16:00:36.002Z","title":"Commutativity of Reducers","author_short":["Chen, Y.","Hong, C.","Sinha, N.","Wang, B."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/ChenHSW15","bibdata":{"title":"Commutativity of Reducers","author":["Yu-Fang Chen","Chih-Duo Hong","Nishant Sinha","Bow-Yaw Wang"],"author_short":["Chen, Y.","Hong, C.","Sinha, N.","Wang, B."],"bibtype":"inproceedings","type":"inproceedings","year":"2015","key":"dblp1915479","id":"dblp1915479","biburl":"http://www.dblp.org/rec/bibtex/conf/tacas/ChenHSW15","url":"http://dx.doi.org/10.1007/978-3-662-46681-0_9","conference":"TACAS","pages":"131-146","text":"TACAS 2015:131-146","booktitle":"Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)","bibtex":"@inproceedings{ dblp1915479,\n title = {Commutativity of Reducers},\n author = {Yu-Fang Chen and Chih-Duo Hong and Nishant Sinha and Bow-Yaw Wang},\n author_short = {Chen, Y. and Hong, C. and Sinha, N. and Wang, B.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2015},\n key = {dblp1915479},\n id = {dblp1915479},\n biburl = {http://www.dblp.org/rec/bibtex/conf/tacas/ChenHSW15},\n url = {http://dx.doi.org/10.1007/978-3-662-46681-0_9},\n conference = {TACAS},\n pages = {131-146},\n text = {TACAS 2015:131-146},\n booktitle = {Proceedings of Tools and Algorithms for Construction and Analysis of Systems (TACAS)}\n}","bibbaseid":"chen-hong-sinha-wang-commutativityofreducers-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-662-46681-0_9"},"downloads":0,"html":""},"search_terms":["commutativity","reducers","chen","hong","sinha","wang"],"keywords":[],"authorIDs":[],"dataSources":["gRzspW3rWPGvgyfg8"]}