Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2003
Baier, C. and Hermanns, H. and Katoen, J.P. and Wolf, V.
(2003)
Comparative branching-time semantics for Markov chains.
In: Concurrency Theory (CONCUR).
pp. 492-507.
Lecture Notes in Computer Science 2761.
Springer-Verlag.
ISBN 978-3-540-40753-9
This list was generated on Thu May 24 05:22:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||