Improved reachability analysis in DTMC via divide and conquer
10.1007/978-3-642-38613-8_12
محفوظ في:
| المؤلفون الرئيسيون: | , , , , |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | Conference or Workshop Item |
| منشور في: |
2014
|
| الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/78185 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| id |
sg-nus-scholar.10635-78185 |
|---|---|
| record_format |
dspace |
| spelling |
sg-nus-scholar.10635-781852024-11-08T16:40:46Z Improved reachability analysis in DTMC via divide and conquer Song, S. Gui, L. Sun, J. Liu, Y. Dong, J.S. COMPUTER SCIENCE 10.1007/978-3-642-38613-8_12 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7940 LNCS 162-176 2014-07-04T03:13:23Z 2014-07-04T03:13:23Z 2013 Conference Paper Song, S.,Gui, L.,Sun, J.,Liu, Y.,Dong, J.S. (2013). Improved reachability analysis in DTMC via divide and conquer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7940 LNCS : 162-176. ScholarBank@NUS Repository. <a href="https://doi.org/10.1007/978-3-642-38613-8_12" target="_blank">https://doi.org/10.1007/978-3-642-38613-8_12</a> 9783642386121 03029743 http://scholarbank.nus.edu.sg/handle/10635/78185 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-38613-8_12 |
| author2 |
COMPUTER SCIENCE |
| author_facet |
COMPUTER SCIENCE Song, S. Gui, L. Sun, J. Liu, Y. Dong, J.S. |
| format |
Conference or Workshop Item |
| author |
Song, S. Gui, L. Sun, J. Liu, Y. Dong, J.S. |
| spellingShingle |
Song, S. Gui, L. Sun, J. Liu, Y. Dong, J.S. Improved reachability analysis in DTMC via divide and conquer |
| author_sort |
Song, S. |
| title |
Improved reachability analysis in DTMC via divide and conquer |
| title_short |
Improved reachability analysis in DTMC via divide and conquer |
| title_full |
Improved reachability analysis in DTMC via divide and conquer |
| title_fullStr |
Improved reachability analysis in DTMC via divide and conquer |
| title_full_unstemmed |
Improved reachability analysis in DTMC via divide and conquer |
| title_sort |
improved reachability analysis in dtmc via divide and conquer |
| publishDate |
2014 |
| url |
http://scholarbank.nus.edu.sg/handle/10635/78185 |
| _version_ |
1821194002181914624 |