Steve Kremer: Formal Protocol Verification Applied

Formal Protocol Verification Applied

Liqun Chen, Steve Kremer, and Mark D. Ryan, editors. Formal Protocol Verification Applied, Dagstuhl Seminar Proceedings 07421, Dagstuhl, Germany, 2008.

Download

[HTML]

Abstract

(unavailable)

BibTeX

@book{CKR-dagstuhl07,
  address =       {Dagstuhl, Germany},
  booktitle =     {Formal Protocol Verification Applied},
  editor =        {Chen, Liqun and Kremer, Steve and Ryan, Mark D.},
  series =        {Dagstuhl Seminar Proceedings},
  title =         {Formal Protocol Verification Applied},
  volume =        {07421},
  year =          {2008},
  conf-year =     {2007},
  conf-month =    oct,
  url =           {http://drops.dagstuhl.de/portals/index.php?semnr=07421},
}