Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2008
Crouzen, P. and van de Pol, J.C. and Rensink, A.
(2008)
Applying Formal Methods to Gossiping Networks with mCRL and Groove.
ACM SIGMETRICS performance evaluation review, 36 (3).
pp. 7-16.
ISSN 0163-5999
2004
Baier, C. and Haverkort, B.R.H.M. and Katoen, J.P. and Hermanns, H. and Siegle, M., ed.
(2004)
Validation of Stochastic Systems.
Lecture Notes in Computer Science 2925.
Springer-Verlag.
ISBN 3-540-22265-0
This list was generated on Thu May 24 08:11:51 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||