Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters

Citation

• Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.

Digital Object Identifier (doi)

• 10.1007/978-3-319-11936-6

Ro Metadata Url

• http://ro.uow.edu.au/eispapers1/162

Start Page

• 364

End Page

• 379

Place Of Publication

• Cham

Abstract

UOW Authors

•   Guoxin Su
•   Rosenblum, David (external author)

Publication Date

• 2014

Has Subject Area

• 080302 - COMPUTER SYSTEM ARCHITECTURE

Citation

• Su, G. & Rosenblum, D. (2014). Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters. Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014 (pp. 364-379). Cham: Springer.

Digital Object Identifier (doi)

• 10.1007/978-3-319-11936-6

Ro Metadata Url

• http://ro.uow.edu.au/eispapers1/162

Start Page

• 364

End Page

• 379

Place Of Publication

• Cham