Parallel and Distributed Methods in Verification

Research output: Contribution to journalArticleAcademic

1 Citation (Scopus)
Original languageUndefined
Pages (from-to)1-3
Number of pages3
JournalJournal of logic and computation
Volume21
Issue number1
DOIs
Publication statusPublished - Feb 2011

Keywords

  • EWI-21071
  • IR-79115
  • METIS-284935

Cite this

@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 = "2",
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",

}

Parallel and Distributed Methods in Verification. / Cerná, Ivana; Haverkort, Boudewijn R.H.M.

In: Journal of logic and computation, Vol. 21, No. 1, 02.2011, p. 1-3.

Research output: Contribution to journalArticleAcademic

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

VL - 21

SP - 1

EP - 3

JO - Journal of logic and computation

JF - Journal of logic and computation

SN - 0955-792X

IS - 1

ER -