Search - Fundamentals of Software Engineering Access content directly

Filter your results

1 Array
Image document

Improving Time Bounded Reachability Computations in Interactive Markov Chains

Hassan Hatefi , Holger Hermanns
5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.250-266, ⟨10.1007/978-3-642-40213-5_16⟩
Conference papers hal-01514669v1