Alternative specification and verification of a periodic state exchange protocol
Authors:
András L. Oláh;Sonia M. Heemstra de Groot
Affiliations:
Ericsson Traffic Analysis and Network Performance Laboratory, 1475 Budapest, Hungary;Tele-Informatics and Open Systems Group, Department of Electrical Engineering, University of Twente, 7500 AE Enschede, The Netherlands