{"month":"01","date_updated":"2021-01-12T06:53:43Z","type":"journal_article","publication":"Communications of the ACM","author":[{"first_name":"Thomas A","last_name":"Henzinger","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"},{"last_name":"Raskin","first_name":"Jean","full_name":"Raskin, Jean"}],"day":"28","page":"86-86","doi":"10.1145/2701001","_id":"1866","department":[{"_id":"ToHe"}],"language":[{"iso":"eng"}],"date_published":"2015-01-28T00:00:00Z","publication_status":"published","citation":{"short":"T.A. Henzinger, J. Raskin, Communications of the ACM 58 (2015) 86–86.","chicago":"Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM. ACM, 2015. https://doi.org/10.1145/2701001.","ista":"Henzinger TA, Raskin J. 2015. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 58(2), 86–86.","apa":"Henzinger, T. A., & Raskin, J. (2015). The equivalence problem for finite automata: Technical perspective. Communications of the ACM. ACM. https://doi.org/10.1145/2701001","ama":"Henzinger TA, Raskin J. The equivalence problem for finite automata: Technical perspective. Communications of the ACM. 2015;58(2):86-86. doi:10.1145/2701001","ieee":"T. A. Henzinger and J. Raskin, “The equivalence problem for finite automata: Technical perspective,” Communications of the ACM, vol. 58, no. 2. ACM, pp. 86–86, 2015.","mla":"Henzinger, Thomas A., and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.” Communications of the ACM, vol. 58, no. 2, ACM, 2015, pp. 86–86, doi:10.1145/2701001."},"issue":"2","year":"2015","publisher":"ACM","scopus_import":1,"intvolume":" 58","oa_version":"None","volume":58,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_created":"2018-12-11T11:54:26Z","publist_id":"5232","title":"The equivalence problem for finite automata: Technical perspective","status":"public"}