book chapter · Lecture notes in computer science · 2014

Static Semantics of Secret Channel Abstractions

Cited by 2Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

Giunti, M. (2014). Static Semantics of Secret Channel Abstractions. Lecture notes in computer science, 165–180. https://doi.org/10.1007/978-3-319-11599-3_10

MLA 9

Giunti, Marco. “Static Semantics of Secret Channel Abstractions.” Lecture notes in computer science, 2014, pp. 165–80, https://doi.org/10.1007/978-3-319-11599-3_10.

Chicago

Giunti, Marco. 2014. “Static Semantics of Secret Channel Abstractions.” Lecture notes in computer science: 165–80. https://doi.org/10.1007/978-3-319-11599-3_10.

Harvard

Giunti, M. (2014) ‘Static Semantics of Secret Channel Abstractions’, Lecture notes in computer science, pp. 165–180. Available at: https://doi.org/10.1007/978-3-319-11599-3_10.

BibTeX

@incollection{giunti2014static,
  title = {{Static Semantics of Secret Channel Abstractions}},
  author = {Giunti, Marco},
  booktitle = {Lecture notes in computer science},
  pages = {165--180},
  year = {2014},
  doi = {10.1007/978-3-319-11599-3_10}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.