A proof environment for the development of group communication systems (1998)

by Christoph Kreitz , Mark Hayden , Jason Hickey
Venue:Fifteenth International Conference on Automated Deduction, LNAI 1421
Citations:28 - 14 self