Asymptotic bounds for quantitative verification of perturbed probabilistic systems
10.1007/978-3-642-41202-8_20
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Conference or Workshop Item |
| منشور في: |
2016
|
| الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/124983 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| المؤسسة: | National University of Singapore |
| id |
sg-nus-scholar.10635-124983 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-1249832024-11-13T22:58:27Z Asymptotic bounds for quantitative verification of perturbed probabilistic systems Su, G. Rosenblum, D.S. COMPUTER SCIENCE 10.1007/978-3-642-41202-8_20 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS 297-312 2016-06-02T09:25:21Z 2016-06-02T09:25:21Z 2013 Conference Paper Su, G.,Rosenblum, D.S. (2013). Asymptotic bounds for quantitative verification of perturbed probabilistic systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8144 LNCS : 297-312. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-41202-8_20" target="_blank">https://doi.org/10.1007/978-3-642-41202-8_20</a> 9783642412011 03029743 http://scholarbank.nus.edu.sg/handle/10635/124983 NOT_IN_WOS Scopus |
| institution |
National University of Singapore |
| building |
NUS Library |
| continent |
Asia |
| country |
Singapore Singapore |
| content_provider |
NUS Library |
| collection |
ScholarBank@NUS |
| description |
10.1007/978-3-642-41202-8_20 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Su, G. Rosenblum, D.S. |
| format |
Conference or Workshop Item |
| author |
Su, G. Rosenblum, D.S. |
| spellingShingle |
Su, G. Rosenblum, D.S. Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| author_sort |
Su, G. |
| title |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_short |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_full |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_fullStr |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_full_unstemmed |
Asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| title_sort |
asymptotic bounds for quantitative verification of perturbed probabilistic systems |
| publishDate |
2016 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/124983 |
| _version_ |
1821227238437158912 |