Annu John

Identifiers

• name variant Annu John 0.60 · backfill

Papers (2)

1. Counter Attack on Byzantine Generals: Parameterized Model Checking of Fault-tolerant Distributed Algorithms cs.LO · 2012 · author #1
2. Starting a Dialog between Model Checking and Fault-tolerant Distributed Algorithms cs.FL · 2012 · author #1

Mentions

• 1210.3846 #1 · backfill · confidence 0.70 Annu John
• 1210.3839 #1 · backfill · confidence 0.70 Annu John

Frequent Coauthors

• Helmut Veith 2 shared papers
• Igor Konnov 2 shared papers
• Josef Widder 2 shared papers
• Ulrich Schmid 2 shared papers