By the same authors

From the same journal

From the same journal

Finite complete suites for CSP refinement testing

Research output: Contribution to journalArticle

Standard

Finite complete suites for CSP refinement testing. / Peleska, Jan; Huang, W.-l.; Cavalcanti, A. L. C.

In: Science of Computer Programming, Vol. 179, 15.06.2019, p. 1-23.

Research output: Contribution to journalArticle

Harvard

Peleska, J, Huang, W & Cavalcanti, ALC 2019, 'Finite complete suites for CSP refinement testing', Science of Computer Programming, vol. 179, pp. 1-23. https://doi.org/10.1016/j.scico.2019.04.004

APA

Peleska, J., Huang, W., & Cavalcanti, A. L. C. (2019). Finite complete suites for CSP refinement testing. Science of Computer Programming, 179, 1-23. https://doi.org/10.1016/j.scico.2019.04.004

Vancouver

Peleska J, Huang W, Cavalcanti ALC. Finite complete suites for CSP refinement testing. Science of Computer Programming. 2019 Jun 15;179:1-23. https://doi.org/10.1016/j.scico.2019.04.004

Author

Peleska, Jan ; Huang, W.-l. ; Cavalcanti, A. L. C. / Finite complete suites for CSP refinement testing. In: Science of Computer Programming. 2019 ; Vol. 179. pp. 1-23.

Bibtex - Download

@article{88115a7c91ee48d0951a84291b9e7ba6,
title = "Finite complete suites for CSP refinement testing",
author = "Jan Peleska and W.-l. Huang and Cavalcanti, {A. L. C.}",
note = "{\circledC}2019 Elsevier B.V. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.",
year = "2019",
month = "6",
day = "15",
doi = "10.1016/j.scico.2019.04.004",
language = "English",
volume = "179",
pages = "1--23",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - Finite complete suites for CSP refinement testing

AU - Peleska, Jan

AU - Huang, W.-l.

AU - Cavalcanti, A. L. C.

N1 - ©2019 Elsevier B.V. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy.

PY - 2019/6/15

Y1 - 2019/6/15

U2 - 10.1016/j.scico.2019.04.004

DO - 10.1016/j.scico.2019.04.004

M3 - Article

VL - 179

SP - 1

EP - 23

JO - Science of Computer Programming

T2 - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

ER -