n a Temporal Logic for Object-Based Systems

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages17
    Publication statusPublished - 2000

    Publication series

    NameCTIT Technical Report Series
    No.00-06
    ISSN (Print)1381-3625

    Keywords

    • METIS-119068

    Cite this

    Distefano, D. S., Katoen, J. P., & Rensink, A. (2000). n a Temporal Logic for Object-Based Systems. (CTIT Technical Report Series; No. 00-06). Enschede: Centre for Telematics and Information Technology (CTIT).
    Distefano, D.S. ; Katoen, Joost P. ; Rensink, Arend. / n a Temporal Logic for Object-Based Systems. Enschede : Centre for Telematics and Information Technology (CTIT), 2000. 17 p. (CTIT Technical Report Series; 00-06).
    @book{01972dc2a9474bbbbf941f210c8c5d5d,
    title = "n a Temporal Logic for Object-Based Systems",
    keywords = "METIS-119068",
    author = "D.S. Distefano and Katoen, {Joost P.} and Arend Rensink",
    year = "2000",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "00-06",
    address = "Netherlands",

    }

    Distefano, DS, Katoen, JP & Rensink, A 2000, n a Temporal Logic for Object-Based Systems. CTIT Technical Report Series, no. 00-06, Centre for Telematics and Information Technology (CTIT), Enschede.

    n a Temporal Logic for Object-Based Systems. / Distefano, D.S.; Katoen, Joost P.; Rensink, Arend.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2000. 17 p. (CTIT Technical Report Series; No. 00-06).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - n a Temporal Logic for Object-Based Systems

    AU - Distefano, D.S.

    AU - Katoen, Joost P.

    AU - Rensink, Arend

    PY - 2000

    Y1 - 2000

    KW - METIS-119068

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - n a Temporal Logic for Object-Based Systems

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

    Distefano DS, Katoen JP, Rensink A. n a Temporal Logic for Object-Based Systems. Enschede: Centre for Telematics and Information Technology (CTIT), 2000. 17 p. (CTIT Technical Report Series; 00-06).