Lancaster EPrints

Specification and Verification of Real-Time Safety and Liveness Properties using LOTOS and SQTL.

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 :. .

Full text not available from this repository.
Item Type: Contribution in Book/Report/Proceedings
Subjects: ?? qa ??
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: 24 Mar 2017 00:38
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/20922

Actions (login required)

View Item