Main » TIST » 2013 » 2013 Volume 4 Issue 2 »

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
BibTeX:
Download