Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2007
Remke, A.K.I. and Haverkort, B.R.H.M.
(2007)
CSL Model Checking Algorithms for Infinite-state Structured Markov chains.
In: 5th International Conference, FORMATS 2007, 3-5 Oct 2007, Salzburg.
pp. 336-351.
Lecture Notes in Computer Science 4763.
Springer Verlag.
ISBN 978-3-540-75453-4
This list was generated on Thu May 24 07:52:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||