Strategic Planning through Model Checking of ATL Formulae

W.J. Jamroga

    Research output: Contribution to conferencePoster

    Original languageUndefined
    Pages-
    Publication statusPublished - 9 Jun 2004

    Keywords

    • METIS-221744

    Cite this

    @conference{6c537806112d4896a874bf9cf62aab90,
    title = "Strategic Planning through Model Checking of ATL Formulae",
    keywords = "METIS-221744",
    author = "W.J. Jamroga",
    year = "2004",
    month = "6",
    day = "9",
    language = "Undefined",
    pages = "--",

    }

    Strategic Planning through Model Checking of ATL Formulae. / Jamroga, W.J.

    2004. -.

    Research output: Contribution to conferencePoster

    TY - CONF

    T1 - Strategic Planning through Model Checking of ATL Formulae

    AU - Jamroga, W.J.

    PY - 2004/6/9

    Y1 - 2004/6/9

    KW - METIS-221744

    M3 - Poster

    SP - -

    ER -