Merkliste 
 1 Ergebnisse 
 
1

A Lyapunov Approach for Time-Bounded Reachability of CTMCs ..:

Salamati, Mahmoud ; Soudjani, Sadegh ; Majumdar, Rupak
ACM Transactions on Modeling and Performance Evaluation of Computing Systems.  5 (2020)  1 - p. 1-29 , 2020