Items where Author is "Lakas, Abderrahmane"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Contribution in Book/Report/Proceedings
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