Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2012
Katoen, J.P. and van de Pol, J.C. and Stoelinga, M.I.A. and Timmer, M.
(2012)
A linear process-algebraic format with data for probabilistic automata.
Theoretical Computer Science, 413 (1).
pp. 36-57.
ISSN 0304-3975
*** ISI Impact 0,838 ***
2007
Remke, A.K.I. and Haverkort, B.R.H.M. and Cloth, L.
(2007)
CSL model checking algorithms for QBDs.
Theoretical computer science, 382 (1).
pp. 24-41.
ISSN 0304-3975
*** ISI Impact 0,838 ***
This list was generated on Thu May 24 06:04:34 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||