Home > Research > Publications & Outputs > Specification and Verification of Real-Time Saf...
View graph of relations

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

Research output: Contribution in Book/Report/ProceedingsChapter

Published
Publication date03/1996
Host publicationProceedings of the Eighth International Workshop on Software Specification and Design
<mark>Original language</mark>English