Formalizing and verifying protocol refinements.
Scott N. Gerard|Munindar P. Singh
| Anthology ID: | DBLP:journals/tist/GerardS13 |
|---|---|
| Year: | 2013 |
| Venue: | ACM Transactions on Intelligent Systems and Technology (TIST) |
| Pages: | 21:1-21:27 |
| URL: | https://doi.org/10.1145/2438653.2438656 |
| DOI: | https://doi.org/10.1145/2438653.2438656 |
| DBLP: | journals/tist/GerardS13 |
| BibTeX: |
@article{gerard-2013-formalizing,
author = {Scott N. Gerard and
Munindar P. Singh},
title = {{Formalizing and verifying protocol refinements}},
journal = {ACM Transactions on Intelligent Systems and Technology (TIST)},
volume = {4},
number = {2},
pages = {21:1--21:27},
year = {2013},
url = {https://doi.org/10.1145/2438653.2438656},
doi = {https://doi.org/10.1145/2438653.2438656}
}