Parallel and Distributed Methods in Verification

Research output: Contribution to journal › Article › Academic

Original language	Undefined
Pages (from-to)	1-3
Number of pages	3
Journal	Journal of logic and computation
Volume	21
Issue number	1
DOIs	https://doi.org/10.1093/logcom/exp001
Publication status	Published - Feb 2011

Keywords

@article{1597e64073bc4555a0c2ebedffbe748b,

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 = "Undefined",

volume = "21",

pages = "1--3",

journal = "Journal of 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 of logic and computation

JF - Journal of logic and computation

IS - 1

ER -