Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an embedded Microcontroller System
FORTE/PSTV 1996, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE IX) and Protocol Specification, Testing and Verification (PSTV XVI)
1996