KS X 3003-1993 SISTEMAS DE PROCESAMIENTO DE INFORMACIÓN - INTERCONEXIÓN DE SISTEMAS ABIERTOS - LOTOS - UNA TÉCNICA DE DESCRIPCIÓN FORMAL BASADA EN LA ORDENACIÓN TEMPORAL DEL COMPORTAMIENTO DE OBSERVACIÓN
1993KS X 3003-1993 SISTEMAS DE PROCESAMIENTO DE INFORMACIÓN - INTERCONEXIÓN DE SISTEMAS ABIERTOS - LOTOS - UNA TÉCNICA DE DESCRIPCIÓN FORMAL BASADA EN LA ORDENACIÓN TEMPORAL DEL COMPORTAMIENTO DE OBSERVACIÓN