Temporal Logics for the Specification of Performance and Reliability.

Luca de Alfaro

Browse the full STACS paper archive.