Abate, A., Katoen, J., Lygeros, J., & Prandini, M. (2010). Approximate Model Checking of Stochastic Hybrid Systems.
शिकागो शैली (17वां संस्करण) प्रशस्ति पत्रAbate, A., J. Katoen, J. Lygeros, और M. Prandini. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
एमएलए (9वां संस्करण) प्रशस्ति पत्रAbate, A., et al. Approximate Model Checking of Stochastic Hybrid Systems. 2010.
चेतावनी: ये उद्धरण हमेशा 100% सटीक नहीं हो सकते हैं.