John, Annu

1. Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms
   2012/10/14 by Annu John, John, Annu, Igor Konnov +7 · 2 citations
   Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC)