Translated title of the contribution | Compositionality for Markov reward chains with fast transitions |
---|---|
Original language | English |
Number of pages | 18 |
Volume | Technical report CSR-07-17, TU Eindhoven |
Publication status | Published - 2007 |
Fields of Science and Technology Classification 2012
- 101 Mathematics
- 102 Computer Sciences