Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2007
De Nicola, R. and Katoen, J.P. and Latella, D. and Loreti, M. and Massink, M.
(2007)
Model checking mobile stochastic logic.
Theoretical computer science, 382 (1).
pp. 42-70.
ISSN 0304-3975
*** ISI Impact 0,838 ***
2006
De Nicola, R. and Katoen, J.P. and Latella, D. and Massink, M.
(2006)
Towards a logic for performance and mobility.
In: 3rd Workshop on Quantitative Aspects of Programming Languages, 2-3 Apr 2005, Edinburgh, Scotland.
pp. 161-175.
Electronic Notes in Theoretical Computer Science 153 (2).
Elsevier.
ISSN 1571-0661
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||