Publicações

Formal Verification of a Group Membership Protocol Using Model Checking

AuthID
P-004-E3W

Author(s)

Rosset, V

Souto, PF

Vasques, R

Editor(es)

Meersman,R;Tari,Z

Tipo de Documento

Proceedings Paper

Year published

2007

Publicado

in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2007: COOPLS, DOA, ODBASE, GADA, AND IS, PT 1, PROCEEDINGS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 4803, Número: PART 1, Páginas: 471-488 (18)

Conference

Otm Confederated International Conference and Workshop, Date: NOV 25-30, 2007, Location: Vilamoura, PORTUGAL

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/145532

Crossref^®

Handle^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-540-76848-7_34

DBLP: conf/otm/RossetSV07

Handle: https://hdl.handle.net/10216/69405

SCOPUS: 2-s2.0-38349056827

Wos: WOS:000252885100032

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Formal Verification of a Group Membership Protocol Using Model Checking

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Formal Verification of a Group Membership Protocol Using Model Checking

Links Úteis

Ajuda