Parallel and Distributed Methods in Verification

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	1-3
Number of pages	3
Journal	Journal for Logic and Computation
Volume	21
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exp001
Publication status	Published - Feb 2011
Externally published	Yes

Keywords

@article{1d5783fb5a27414db12f5c5fdf1dea61,

title = "Parallel and Distributed Methods in Verification",

keywords = "EWI-21071, IR-79115, METIS-284935",

author = "Ivana Cern{\'a} and Haverkort, {Boudewijn R.H.M.}",

note = "eemcs-eprint-21071",

year = "2011",

month = feb,

doi = "10.1093/logcom/exp001",

language = "English",

volume = "21",

pages = "1--3",

journal = "Journal for Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "1",

}

TY - JOUR

T1 - Parallel and Distributed Methods in Verification

AU - Cerná, Ivana

AU - Haverkort, Boudewijn R.H.M.

N1 - eemcs-eprint-21071

PY - 2011/2

Y1 - 2011/2

KW - EWI-21071

KW - IR-79115

KW - METIS-284935

U2 - 10.1093/logcom/exp001

DO - 10.1093/logcom/exp001

M3 - Article

SN - 0955-792X

VL - 21

SP - 1

EP - 3

JO - Journal for Logic and Computation

JF - Journal for Logic and Computation

IS - 1

ER -