Formalizing and verifying protocol refinements
Scott N. Gerard, Munindar P. Singh
- Anthology ID:
- DBLP:journals/tist/GerardS13
- Volume:
- 2013 Volume 4 Issue 2
- Year:
- 2013
- Venue:
- tist_journal
- Pages:
- 21:1–21:27
- URL:
- https://doi.org/10.1145/2438653.2438656
- DOI:
- 10.1145/2438653.2438656
- DBLP:
- journals/tist/GerardS13