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 JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)168-182
JournalLecture Notes in Computer Science
Publication statusPublished - 2012

Bibliographical note

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

Cite this