Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2000
Baier, C. and Haverkort, B.R.H.M. and Hermanns, H. and Katoen, J.P.
(2000)
Model checking continuous-time Markov chains by transient analysis.
In: Computer Aided Verification, 12th International Conference, CAV 2000, July 15-19, 2000, Chicago, IL, USA.
pp. 358-372.
Lecture Notes in Computer Science 1855.
Springer Verlag.
ISBN 3-540-67770-4
This list was generated on Thu May 24 08:13:09 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||