Modular Specification and Verification of XTP. Telecommunication Systems (1998)

by P Herrmann, H Krumm