Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2001
Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M.
(2001)
First passage time analysis of stochastic process algebra using partial orders.
In: Tools and Algorithms for the Construction and Analysis of Systems.
pp. 220-235.
Lecture Notes in Computer Science 2031.
Springer.
ISSN 0302-9743
ISBN 3-540-41865-2
This list was generated on Thu May 24 08:48:39 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||