DMCA

On the Expressivity and Complexity of Quantitative Branching-Time Temporal Logics (2001)

Cached

Download Links

by F. Laroussinie , Ph. Schnoebelen , M. Turuani