Asymptotic bounds for quantitative verification of perturbed probabilistic systems

10.1007/978-3-642-41202-8_20

محفوظ في:
التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Su, G., Rosenblum, D.S.
مؤلفون آخرون: COMPUTER SCIENCE
التنسيق: Conference or Workshop Item
منشور في: 2016
الوصول للمادة أونلاين:http://scholarbank.nus.edu.sg/handle/10635/124983
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!