%0 Thesis %1 phd/hal/Beauxis09 %A Beauxis, Romain %D 2009 %K %T Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols.

@phdthesis{phd/hal/Beauxis09, added-at = {2023-12-13T04:33:44.000+0100}, author = {Beauxis, Romain}, biburl = {https://www.bibsonomy.org/bibtex/2ca9b5f36c22d4448c57b7d6aa0ca8064/admin}, ee = {https://tel.archives-ouvertes.fr/tel-00772693}, interhash = {976f2ed450ec4444e50f2084f3db7b6f}, intrahash = {ca9b5f36c22d4448c57b7d6aa0ca8064}, keywords = {}, school = {École Polytechnique, Palaiseau, France}, timestamp = {2023-12-13T04:33:44.000+0100}, title = {Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols.}, year = 2009 }