Weighted quantified computation tree logic

K. Chatterjee, P. Dasgupta, P. Chakrabarti, in:, Elsevier, 2001.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published
Author
; ;
Publishing 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.

Export

Marked Publications

Open Data IST Research Explorer

Search this title in

Google Scholar