The automatic analysis of formal real-time system specications.
Contributors: Atomic Energy Research Establishment. Computer Science and Systems Division.
Series: AERE-R9046
Publisher: Atomic Energy Research Establishment, Computer Science and Systems Division
Published: 1978
Place of publication: Harwell
Language: eng
Number of pages: 19