@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",
}