Weighted quantified computation tree logic
Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.
Download
No fulltext has been uploaded. References only!
Conference Paper
| Published
Author
Chatterjee, KrishnenduISTA 
;
Dasgupta, Pallab;
Chakrabarti, Partha P
;
Dasgupta, Pallab;
Chakrabarti, Partha PPublishing Year
Date Published
2001-11-14
Conference
CIT: Conference on Information Technology
IST-REx-ID
Cite this
Chatterjee K, Dasgupta P, Chakrabarti P. Weighted quantified computation tree logic. In: Elsevier; 2001.
Chatterjee, K., Dasgupta, P., & Chakrabarti, P. (2001). Weighted quantified computation tree logic. Presented at the CIT: Conference on Information Technology, Elsevier.
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “Weighted Quantified Computation Tree Logic.” Elsevier, 2001.
K. Chatterjee, P. Dasgupta, and P. Chakrabarti, “Weighted quantified computation tree logic,” presented at the CIT: Conference on Information Technology, 2001.
Chatterjee K, Dasgupta P, Chakrabarti P. 2001. Weighted quantified computation tree logic. CIT: Conference on Information Technology.
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
Google Scholar