DMCA
Model Checking Dining Cryptographers with VerICS (2005)
by
A. Niewiadomski
,
W. Penczek
,
M. Szreter
,
M. Kacprzak
BibTeX
@MISC{Niewiadomski05modelchecking,
author = {A. Niewiadomski and W. Penczek and M. Szreter and M. Kacprzak},
title = {Model Checking Dining Cryptographers with VerICS},
year = {2005}
}
Share
 |
 |
 |
 |
||
