Visible to the public Euclidean Model Checking A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems

Submitted by amyclay on Wed, 12/02/2015 - 2:50pm
License: 
Creative Commons 2.5

Other available formats:

Euclidean Model Checking A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems
Switch to experimental viewer