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