QMaude: Quantitative Specification and Verification in Rewriting Logic.

Rubn Rubio, Narciso Mart-Oliet, Isabel Pita, Alberto Verdejo

Browse the full FM paper archive.