Model checking under fairness in ProB and its application to fair exchange protocols

D.M. Williams, J. de Ruiter, W.J. Fokkink

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	168-182
Journal	Lecture Notes in Computer Science
Volume	7521
DOIs	https://doi.org/10.1007/978-3-642-32943-2_14
Publication status	Published - 2012

Proceedings title: Proc. 9th Colloquium on Theoretical Aspects of Computing - ICTAC'12
Publisher: Springer

Access to Document

@article{b499208d56374118bdc924d5a74a2a86,

title = "Model checking under fairness in ProB and its application to fair exchange protocols",

author = "D.M. Williams and {de Ruiter}, J. and W.J. Fokkink",

note = "Proceedings title: Proc. 9th Colloquium on Theoretical Aspects of Computing - ICTAC'12 Publisher: Springer",

year = "2012",

doi = "10.1007/978-3-642-32943-2_14",

language = "English",

volume = "7521",

pages = "168--182",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Model checking under fairness in ProB and its application to fair exchange protocols

AU - Williams, D.M.

AU - de Ruiter, J.

AU - Fokkink, W.J.

N1 - Proceedings title: Proc. 9th Colloquium on Theoretical Aspects of Computing - ICTAC'12 Publisher: Springer

PY - 2012

Y1 - 2012

U2 - 10.1007/978-3-642-32943-2_14

DO - 10.1007/978-3-642-32943-2_14

M3 - Article

SN - 0302-9743

VL - 7521

SP - 168

EP - 182

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -