Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 1999
Baier, C. and Katoen, J.P. and Hermanns, H.
(1999)
Approximate symbolic model checking of continous-time Markov chains.
In: CONCUR '99: Concurrency Theory, 10th International Conference, August 24-27, 1999, Eindhoven, The Netherlands.
pp. 146-162.
Lecture Notes in Computer Science 1664.
Springer-Verlag.
ISBN 3-540-66425-4
Tretmans, G.J.
(1999)
Testing Concurrent Systems: A Formal Approach.
In: CONCUR'99 - Concurrency Theory: 10th International Conference, August 1999, Eindhoven, The Netherlands.
pp. 46-65.
Lecture Notes in Computer Science 1664.
Springer Verlag.
ISBN 3-540-66425-4
This list was generated on Thu May 24 07:18:26 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||