A Unified Model for Analysis of Real-Time Properties.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationPreliminary proc. of the 1st Int. Symposium on Leveraging Applications of Formal Methods.
Place of PublicationPaphos, Cyprus
Pages220-227
Publication statusPublished - 2004
Event1st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004) - Paphos, Cyprus
Duration: 30 Oct 20042 Nov 2004
Conference number: 1

Conference

Conference1st International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2004)
Abbreviated titleISoLA 2004
CountryCyprus
CityPaphos
Period30/10/042/11/04
OtherISoLa 2004, TR-2004-6

Cite this