Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

Howard Bowman, John Derrick, Hendrik Brinksma

    Research output: Contribution to journalArticleAcademicpeer-review

    53 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)577-578
    JournalIEEE transactions on software engineering
    Volume26
    Issue number7
    DOIs
    Publication statusPublished - 2000

    Keywords

    • METIS-306255
    • IR-92409

    Cite this

    @article{446ac36a67734282be3dfeba304f4fcf,
    title = "Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997",
    keywords = "METIS-306255, IR-92409",
    author = "Howard Bowman and John Derrick and Hendrik Brinksma",
    year = "2000",
    doi = "10.1109/TSE.2000.859528",
    language = "English",
    volume = "26",
    pages = "577--578",
    journal = "IEEE transactions on software engineering",
    issn = "0098-5589",
    publisher = "IEEE",
    number = "7",

    }

    Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997. / Bowman, Howard; Derrick, John; Brinksma, Hendrik.

    In: IEEE transactions on software engineering, Vol. 26, No. 7, 2000, p. 577-578.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Selected papers from the second IFIP Int'l conference on formal methods for open object based distributed systems, 1997

    AU - Bowman, Howard

    AU - Derrick, John

    AU - Brinksma, Hendrik

    PY - 2000

    Y1 - 2000

    KW - METIS-306255

    KW - IR-92409

    U2 - 10.1109/TSE.2000.859528

    DO - 10.1109/TSE.2000.859528

    M3 - Article

    VL - 26

    SP - 577

    EP - 578

    JO - IEEE transactions on software engineering

    JF - IEEE transactions on software engineering

    SN - 0098-5589

    IS - 7

    ER -