Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 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 08:41:46 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||