@inproceedings{Hfner_15,
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8975.pdf},
    booktitle        = {Forum “Math-for-Industry” 2015},
    author           = {H\"ofner, Peter},
    year             = {2015},
    pages            = {31--33},
    title            = {Using Process Algebra to Design Better Protocols (abstract)},
    address          = {Fukuoka, Japan}
  }