Quantitative Verification and Control via the Mu-Calculus

@inproceedings{Alfaro2003QuantitativeVA,
  title={Quantitative Verification and Control via the Mu-Calculus},
  author={Luca de Alfaro},
  booktitle={CONCUR},
  year={2003}
}
Highly Cited
This paper has 42 citations. REVIEW CITATIONS
25 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…