An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems

@inproceedings{Huth2004AnAF,
  title={An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems},
  author={Michael Huth},
  booktitle={Validation of Stochastic Systems},
  year={2004}
}
Highly Cited
This paper has 19 citations. REVIEW CITATIONS
13 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…