Improved reachability analysis in DTMC via divide and conquer

10.1007/978-3-642-38613-8_12

Saved in:
Bibliographic Details
Main Authors: Song, S., Gui, L., Sun, J., Liu, Y., Dong, J.S.
Other Authors: COMPUTER SCIENCE
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