Showing 1 - 1 results of 1 for search 'Bharath Siva Kumar Tati', query time: 0.03s Refine Results
  1. 1
    Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements

    Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements by Bharath Siva Kumar Tati, Markus Siegle

    Published 2016-07-01
    Get full text
    Article

Search Tools: