Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2001
Hermanns, H. and Katoen, J.P.
(2001)
Performance evaluation:= (process algebra + model checking) x Markov chains.
(Invited)
In: CONCUR 2001 - Concurrency Theory: 12th International Conference, 20-25 Aug 2001, Aalborg, Denmark.
pp. 59-81.
Lecture Notes in Computer Science 2154.
Springer.
ISBN 3-540-42497-0
This list was generated on Thu May 24 07:31:14 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||