Items where Author is "Lakas, Abderrahmane"

Lakas, Abderrahmane and Blair, Gordon S. and Chetwynd, Amanda (1996) Specification and verification of real-time properties using LOTOS and SQTL. In: Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996 :. Association for Computing Machinery, Inc, DEU, pp. 75-84. ISBN 0818673613