From Model Checking to Model Measuring.

Thomas A. Henzinger, Jan Otop

Browse the full CONCUR paper archive.