Researcher identifiers

External widget

Production year

Number of documents

1

Kostas Chatzikokolakis


"Romain Beauxis"   

Conference papers1 document

  • Romain Beauxis, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Prakash Panangaden. Formal Approaches to Information-Hiding (Tutorial). Trustworthy Global Computing, Nov 2007, Sophia-Antipolis, France. pp.347-362, ⟨10.1007/978-3-540-78663-4_23⟩. ⟨inria-00261827⟩