Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements

  • Bharath Siva Kumar Tati, Markus Siegle
  • Electronic Proceedings in Theoretical Computer Science, July 2016, Open Publishing Association
  • DOI: 10.4204/eptcs.220.7

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.4204/eptcs.220.7