Travelled to:1 × Russia
Collaborated with:J.D.Bingham J.Erickson M.R.Greenstreet
Talks about:distribut (1) explicit (1) deadlock (1) freedom (1) state (1) model (1) check (1)
Person: Brad D. Bingham
DBLP: Bingham:Brad_D=
Contributed to:
2013Wrote 1 papers:
- CAV-2013-BinghamBEG #concurrent #distributed #model checking
- Distributed Explicit State Model Checking of Deadlock Freedom (BDB, JDB, JE, MRG), pp. 235–241.