Lakas, A. and Blair, Gordon S. and Chetwynd, Amanda G. (1996) Specification and Verification of Real-Time Safety and Liveness Properties using LOTOS and SQTL. In: Proceedings of the Eighth International Workshop on Software Specification and Design. UNSPECIFIED.
Full text not available from this repository.| Item Type: | Contribution in Book/Report/Proceedings |
|---|---|
| Subjects: | Q Science > QA Mathematics |
| Departments: | Faculty of Science and Technology > School of Computing & Communications Faculty of Science and Technology > Mathematics and Statistics VC's Office |
| ID Code: | 20922 |
| Deposited By: | Prof Amanda Chetwynd |
| Deposited On: | 04 Dec 2008 09:32 |
| Refereed?: | No |
| Published?: | Published |
| Last Modified: | 26 Jul 2012 21:20 |
| Identification Number: | |
| URI: | http://eprints.lancs.ac.uk/id/eprint/20922 |
Actions (login required)
| View Item |
