@InProceedings{l00-p437-446, AUTHOR = {Fran\c{c}ois Laroussinie and Ph. Schnoebelen and M. Turuani}, TITLE = {On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics}, YEAR = 2000, BOOKTITLE = {Proc.~of the 4th Latin American Symposium on Theoretical Informatics (LATIN'00)}, ADDRESS = {Punta del Este, Uruguay}, PAGES = {437--446}, KEYWORDS = {}}