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