By dateBy titleBy typeBibtex
[1]
Automatic Verification of Competitive Stochastic Systems
Taolue Chen‚ Vojtech Forejt‚ Marta Kwiatkowska‚ David Parker and Aistis Simaitis
No. RR−11−11. DCS. 2011.
Details | BibTeX | Download (pdf)
