tr-announce August 2009

tr-announce@lists.rwth-aachen.de
  • 1 participants
  • 1 discussions

2009-02: Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
by Carsten Fuhs
14 years, 8 months
Results per page: