标准号：ISO 8807:1989
标准名称：Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
标准号：ISO 8807:1989
版本：1.0
标准发布组织：ISO
国际组织机构：ISO/IEC JTC 1/SC 7
发布日期：1989-02-09