{"publist_id":"2940","publisher":"Elsevier","quality_controlled":0,"year":"2001","status":"public","extern":1,"publication_status":"published","date_created":"2018-12-11T12:03:23Z","day":"14","date_published":"2001-11-14T00:00:00Z","conference":{"name":"CIT: Conference on Information Technology"},"type":"conference","citation":{"chicago":"Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Weighted Quantified Computation Tree Logic.” Elsevier, 2001.","apa":"Chatterjee, K., Dasgupta, P., &#38; Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.","ama":"Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.","ieee":"K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.","ista":"Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.","short":"K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.","mla":"Chatterjee, Krishnendu, et al. <i>Weighted Quantified Computation Tree Logic</i>. Elsevier, 2001."},"_id":"3447","month":"11","date_updated":"2021-01-12T07:43:31Z","author":[{"full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu"},{"last_name":"Dasgupta","full_name":"Dasgupta, Pallab","first_name":"Pallab"},{"first_name":"Partha","last_name":"Chakrabarti","full_name":"Chakrabarti, Partha P"}],"title":"Weighted quantified computation tree logic"}