ISO 8807 AMD 1:1992

ISO 8807 AMD 1:1992 Information processing systems; Open Systems Interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour; amendment 1: G-LOTOS - DRAFT

Amendment by International Organization for Standardization, 04/01/1992