ISO 8807
Subtitle: Information processing systems : Open Systems Inte rconnection : LOTOS : a formal description technique based on the temporal ordering of observational behaviour.
Publisher: ISO
Published: 1989
Language: eng
Number of pages: 142