Weighted quantified computation tree logic Conference Paper


Author(s): Chatterjee, Krishnendu; Dasgupta, Pallab; Chakrabarti, Partha P
Title: Weighted quantified computation tree logic
Affiliation
Conference Title: CIT: Conference on Information Technology
Conference Dates: November 14-17, 2001
Conference Location: Minneapolis, MN, USA
Publisher: Elsevier  
Date Published: 2001-11-14
Open access: no
IST Austria Authors