Search - IFIP Open Digital Library

1 Array

Structure: Internal structure identifier : 237161

hal_authIdPerson_i : 1104883

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Trace Equivalence and Epistemic Logic to Express Security Properties Kiraku Minami 40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.115-132, ⟨10.1007/978-3-030-50086-3_7⟩ Conference papers hal-03283228v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More