Publikationen

Taming Message-passing Communication in Compositional Reasoning about Confidentiality

AutorLi, Ximeng; Mantel, Heiko; Tasch, Markus
Datum2017
ArtConference Proceedings
Urlhttps://tubiblio.ulb.tu-darmstadt.de/id/eprint/97384