CAN/CSA-Z243.101-1989
Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (First Edition)

Standard No.

CAN/CSA-Z243.101-1989

Release Date

1989

Published By

Canadian Standards Association (CSA)