Publications

Formal Verification of a Group Membership Protocol Using Model Checking

AuthID
P-004-E3W

Author(s)

Rosset, V

Souto, PF

Vasques, R

Editor(s)

Meersman,R;Tari,Z

Document Type

Proceedings Paper

Year published

2007

Published

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, Issue: PART 1, Pages: 471-488 (18)

Conference

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

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/145532

Crossref^®

Handle^®

Google Scholar^®

Metadata
Sources

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

Marked List

Add to Marked List

Info

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

Formal Verification of a Group Membership Protocol Using Model Checking

Useful Links

Get Help

Federated Authentication (Click on the image)

Formal Verification of a Group Membership Protocol Using Model Checking

Useful Links

Get Help