Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description - Symposium on Theoretical Aspects of Computer Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology Description Add to Reading List Document Date: 2014-10-08 10:04:52 Open Document File Size: 73,76 KB Share Result on Facebook Company Distributed Systems / / Country France / / / IndustryTerm concurrent systems / leader-election protocols / / Person Paul Gastin / Benedikt Bollig / / / Technology leader-election protocols / / URL http / SocialTag Computational complexity theory Automata theory Symposium on Theoretical Aspects of Computer Science Cryptographic protocols Model checking Network topology

Research internship (Master M2) Title Verification of Distributed Systems with Parameterized Network Topology DescriptionAdd to Reading List