Combining Temporal Specification Techniques

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen, D.M. Gabbay (Editor), H.J. Ohlbach (Editor)

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationICTL '94 Temporal Logic
    PublisherSpringer Verlag
    Publication date1994
    Pages1-16
    Publication statusPublished - 1994
    EventICTL '94 Temporal Logic -
    Duration: 1 Jan 1994 → …

    Conference

    ConferenceICTL '94 Temporal Logic
    Period01/01/1994 → …

    Cite this

    Sørensen, M. U., Hansen, O. E., Løvengreen, H. H., Gabbay, D. M. (Ed.), & Ohlbach, H. J. (Ed.) (1994). Combining Temporal Specification Techniques. In ICTL '94 Temporal Logic (pp. 1-16). Springer Verlag.