Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2011
Cerna, I. and Haverkort, B.R.H.M.
(2011)
Parallel and Distributed Methods in Verification.
Journal of Logic and Computation, 21 (1).
pp. 1-3.
ISSN 0955-792X
*** ISI Impact 0,586 ***
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||