Formal verification of the TTA group membership algorithm (2000)

by Holger Pfeifer
Venue:Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XIII/PSTV XX 2000