Amparore, E., Barbot, B., Beccuti, M., Donatelli, S., & Franceschinis, G. (2013). Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. ACM.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Amparore, E., B. Barbot, M. Beccuti, S. Donatelli, ба G. Franceschinis. Simulation−based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets. ACM, 2013.
MLA -ийн эшлэл (9 дэх хэвлэлт)Amparore, E., et al. Simulation−based Verification of Hybrid Automata Stochastic Logic Formulas for Stochastic Symmetric Nets. ACM, 2013.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.