Improved reachability analysis in DTMC via divide and conquer
10.1007/978-3-642-38613-8_12
Saved in:
| Main Authors: | , , , , |
|---|---|
| 其他作者: | |
| 格式: | Conference or Workshop Item |
| 出版: |
2014
|
| 在線閱讀: | http://scholarbank.nus.edu.sg/handle/10635/78185 |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | National University of Singapore |
| 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 |