The DisCo Language and Temporal Logic of Actions

H.-M. Järvinen, R. Kurki-Suonio

    Research output: Book/ReportCommissioned report

    Translated title of the contributionThe DisCo Language and Temporal Logic of Actions
    Original languageEnglish
    PublisherTampere University of Technology
    Publication statusPublished - 1990
    Publication typeD4 Published development or research report or study

    Publication series

    NameTampere University of Technology, Software Systems Laboratory, Report 11
    PublisherTampere University of Technology

    Publication forum classification

    • No publication forum level

    Cite this