Improved reachability analysis in DTMC via divide and conquer
10.1007/978-3-642-38613-8_12
Saved in:
Main Authors: | , , , , |
---|---|
Other Authors: | |
Format: | Conference or Workshop Item |
Published: |
2014
|
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/78185 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
id |
sg-nus-scholar.10635-78185 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-781852015-01-06T07:08:52Z 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 |
country |
Singapore |
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_ |
1681088596024492032 |