Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2010
Hermanns, H. and Katoen, J.P.
(2010)
The How and Why of Interactive Markov Chains.
(Invited)
In: Symposium on Formal Methods for Components and Objects, FMCO 2009, 04 - 06 November 2009, Eindhoven, the Netherlands.
pp. 311-337.
Lecture Notes in Computer Science 6286.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-17070-6
This list was generated on Thu May 24 05:37:18 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||