Improving Time Bounded Reachability Computations in Interactive Markov Chains

TitleImproving Time Bounded Reachability Computations in Interactive Markov Chains
Publication TypeConference Paper
Year of Publication2013
AuthorsHatefi, H, Hermanns, H
EditorArbab, F, Sirjani, M
Conference NameFundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers
PublisherSpringer
ISBN Number978-3-642-40212-8
Work Package: 
WP1