Brian Go

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23 (5) (2011)