Multi-valued abstraction using lattice operations

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProc. 15th Conference on Application of Concurrency to System Design - ACSD'15
PublisherIEEE
Pages70-79
Publication statusPublished - 2015

Cite this

Vijzelaar, S. J. J., & Fokkink, W. J. (2015). Multi-valued abstraction using lattice operations. In Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15 (pp. 70-79). IEEE.
Vijzelaar, S.J.J. ; Fokkink, W.J. / Multi-valued abstraction using lattice operations. Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, 2015. pp. 70-79
@inproceedings{805ad02a098048cea06767cf6dc3ab43,
title = "Multi-valued abstraction using lattice operations",
author = "S.J.J. Vijzelaar and W.J. Fokkink",
year = "2015",
language = "English",
pages = "70--79",
booktitle = "Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15",
publisher = "IEEE",

}

Vijzelaar, SJJ & Fokkink, WJ 2015, Multi-valued abstraction using lattice operations. in Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, pp. 70-79.

Multi-valued abstraction using lattice operations. / Vijzelaar, S.J.J.; Fokkink, W.J.

Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, 2015. p. 70-79.

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Multi-valued abstraction using lattice operations

AU - Vijzelaar, S.J.J.

AU - Fokkink, W.J.

PY - 2015

Y1 - 2015

M3 - Conference contribution

SP - 70

EP - 79

BT - Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15

PB - IEEE

ER -

Vijzelaar SJJ, Fokkink WJ. Multi-valued abstraction using lattice operations. In Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE. 2015. p. 70-79