TU Darmstadt / ULB / TUbiblio

Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification

Sinha, Purnendu and Suri, Neeraj (2001):
Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification.
In: International Conference on Distributed Computing Systems (ICDCS), [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2001
Creators: Sinha, Purnendu and Suri, Neeraj
Title: Modular Composition of Redundancy Management Protocols in Distributed Protocols: An Outlook on Simplifying Protocol Level Specification & Verification
Language: German
Title of Book: International Conference on Distributed Computing Systems (ICDCS)
Divisions: 20 Department of Computer Science > Dependable Embedded Systems & Software
20 Department of Computer Science
Date Deposited: 30 Dec 2016 21:41
Identification Number: TUD-CS-2001-0010
Related URLs:
Export:

Optionen (nur für Redakteure)

View Item View Item