Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2000
Hermanns, H. and Katoen, J.P. and Meyer-Kayser, J. and Siegle, M.
(2000)
Towards Model Checking Stochastic Process Algebra.
In: Integrated Formal Methods, 2nd international Workshop, IFM 2000, 1-3 Nov 2000, Schloss Dagstuhl, Saarland, Germany.
pp. 420-439.
Lecture Notes in Computer Science 1945.
Springer Verlag.
ISBN 3-540-41196-8
This list was generated on Thu May 24 08:19:47 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||