An Overview of Sound and Modest Approaches to Quantitative Model Checking from Sea to Space.

Arnd Hartmanns

Browse the full FMICS paper archive.