Document details

Model-Checking a Group Membership Protocol for TDMA-based Networks with both St...

Author(s): Valério Rosset cv logo 1 ; Pedro Ferreira Do Souto cv logo 2 ; Francisco Vasques cv logo 3

Date: 2006

Persistent ID: http://hdl.handle.net/10216/69382

Origin: Repositório Aberto da Universidade do Porto

Subject(s): Ciências Tecnológicas; Engenharia


Document Type Conference Object
Language English
delicious logo  facebook logo  linkedin logo  twitter logo 
degois logo
mendeley logo

Related documents



    Financiadores do RCAAP

Fundação para a Ciência e a Tecnologia Universidade do Minho   Governo Português Ministério da Educação e Ciência Programa Operacional da Sociedade do Conhecimento EU