Refine your search
Availability
-
Authors
- Bellur, Umesh (1)
- Charron-Bost, Bernad... (1)
- Fernandes, B.G. (1)
- Havelund, Klaus (1)
- Hellings, Jelle (1)
- Holzmann, Gerard (1)
- Joshi, Rajeev (1)
- Madhu Kumar, S.D. (1)
- Pagey, Sandeep (1)
- Parekhji, Rubin A. (1)
- Pedone, Fernando (1)
- Pradeep Kumar, V.V.S... (1)
- Rayadurgam, Sanjai (1)
- Raynal, Michel (2)
- Sadoghi, Mohammad (1)
- Sakavalas, Dimitris (1)
- Schiper, Andre (1)
- Sherlekar, S.D. (1)
- Tseng, Lewis (1)
- Venkatesh, G. (1)
- Show more
- Show less
-
Item types
- E-Books (8)
- Theses and Dissertations (4)
-
Locations
-
Series
-
Topics
- Asynchronous message... (1)
- Blockchains (Databas... (1)
- Business (1)
- Computer algorithms (1)
- Computer architectur... (1)
- Computer science and... (3)
- Computer software (2)
- Cryptocurrency (1)
- Electric current con... (1)
- Electronic data proc... (4)
- Fault-tolerant compu... (12)
- Formal methods (Comp... (2)
- Internet(Computer ne... (1)
- Reliability(Engineer... (1)
- Self checking circui... (2)
- Self-stabilization (... (1)
- Sequential processin... (1)
- Telecommunication (1)
- Theses and Dissertat... (4)
- Show more
- Show less