Feng, L., Han, T., Kwiatkowska, M., & Parker, D. (2011). Learning−based Compositional Verification for Synchronous Probabilistic Systems. Springer.
Lua i Stíl Chicago (17ú heag.)Feng, L., T. Han, M. Kwiatkowska, agus D. Parker. Learning−based Compositional Verification for Synchronous Probabilistic Systems. Springer, 2011.
Lua MLA (9ú heag.)Feng, L., et al. Learning−based Compositional Verification for Synchronous Probabilistic Systems. Springer, 2011.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.