Stochastic Model Checking of the Stochastic Quality Calculus

  title={Stochastic Model Checking of the Stochastic Quality Calculus},
  author={Flemming Nielson and Hanne Riis Nielson and Kebin Zeng},
  booktitle={Software, Services, and Systems},

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-3 of 3 extracted citations

Semantics, Logics, and Calculi

Lecture Notes in Computer Science • 2016
View 6 Excerpts
Highly Influenced

Schedulers are no Prophets

Semantics, Logics, and Calculi • 2016
View 3 Excerpts

Similar Papers

Loading similar papers…