Protocol description and analysis based on a state transition model with channel expressions (1987)

by J K Pachl
Venue:In PSTV ’87