Goal-driven LOTOS execution

Hendrik Brinksma, E.H. Eertink

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    1 Citation (Scopus)
    Original languageUndefined
    Title of host publicationProtocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16
    PublisherNorth Holland
    Pages45-60
    ISBN (Print)0-444-81648-8
    Publication statusPublished - 1993

    Keywords

    • METIS-118915

    Cite this

    Brinksma, H., & Eertink, E. H. (1993). Goal-driven LOTOS execution. In Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16 (pp. 45-60). North Holland.
    Brinksma, Hendrik ; Eertink, E.H. / Goal-driven LOTOS execution. Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, 1993. pp. 45-60
    @inbook{5b65c3ba62d1479fa02e793fef6eceab,
    title = "Goal-driven LOTOS execution",
    keywords = "METIS-118915",
    author = "Hendrik Brinksma and E.H. Eertink",
    year = "1993",
    language = "Undefined",
    isbn = "0-444-81648-8",
    pages = "45--60",
    booktitle = "Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16",
    publisher = "North Holland",

    }

    Brinksma, H & Eertink, EH 1993, Goal-driven LOTOS execution. in Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, pp. 45-60.

    Goal-driven LOTOS execution. / Brinksma, Hendrik; Eertink, E.H.

    Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland, 1993. p. 45-60.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Goal-driven LOTOS execution

    AU - Brinksma, Hendrik

    AU - Eertink, E.H.

    PY - 1993

    Y1 - 1993

    KW - METIS-118915

    M3 - Chapter

    SN - 0-444-81648-8

    SP - 45

    EP - 60

    BT - Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16

    PB - North Holland

    ER -

    Brinksma H, Eertink EH. Goal-driven LOTOS execution. In Protocol Specification, Testing and Verification, XIII, IFIP Transactions Series C-16. North Holland. 1993. p. 45-60