Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 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 ***
This list was generated on Thu May 24 07:32:43 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||