Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2002
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P.
(2002)
Automated performance and dependability evaluation using model checking.
In:
Computer Performance Evaluation.
Lecture Notes in Computer Science 2459.
Springer Verlag, Berlin, pp. 261-289.
ISBN 3-540-44252-9
This list was generated on Thu May 24 08:29:17 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||