{"_id":"4402","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"quality_controlled":0,"date_updated":"2021-01-12T07:56:43Z","alternative_title":["LNCS"],"page":"664 - 678","author":[{"first_name":"Rajeev","last_name":"Alur","full_name":"Alur, Rajeev"},{"full_name":"Pavol Cerny","last_name":"Cerny","first_name":"Pavol","id":"4DCBEFFE-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Chaudhuri","full_name":"Chaudhuri,Swarat","first_name":"Swarat"}],"publist_id":"1055","citation":{"ista":"Alur R, Cerny P, Chaudhuri S. 2007. Model Checking on Trees with Path Equivalences. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, , 664–678.","ama":"Alur R, Cerny P, Chaudhuri S. Model Checking on Trees with Path Equivalences. In: Springer; 2007:664-678. doi:<a href=\"https://doi.org/1544\">1544</a>","short":"R. Alur, P. Cerny, S. Chaudhuri, in:, Springer, 2007, pp. 664–678.","chicago":"Alur, Rajeev, Pavol Cerny, and Swarat Chaudhuri. “Model Checking on Trees with Path Equivalences,” 664–78. Springer, 2007. <a href=\"https://doi.org/1544\">https://doi.org/1544</a>.","apa":"Alur, R., Cerny, P., &#38; Chaudhuri, S. (2007). Model Checking on Trees with Path Equivalences (pp. 664–678). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/1544\">https://doi.org/1544</a>","mla":"Alur, Rajeev, et al. <i>Model Checking on Trees with Path Equivalences</i>. Springer, 2007, pp. 664–78, doi:<a href=\"https://doi.org/1544\">1544</a>.","ieee":"R. Alur, P. Cerny, and S. Chaudhuri, “Model Checking on Trees with Path Equivalences,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2007, pp. 664–678."},"doi":"1544","publication_status":"published","title":"Model Checking on Trees with Path Equivalences","extern":1,"status":"public","date_created":"2018-12-11T12:08:40Z","date_published":"2007-01-01T00:00:00Z","month":"01","year":"2007","publisher":"Springer","type":"conference","day":"01"}