Skip to contents

  1. Lomuscio, Alessio R. [Author] ; Nepal, Surya [Editor]; Patrizi, Fabio [Editor]; Benatallah, Boualem [Editor]; Brandić, Ivona [Editor]

    Service-Oriented Computing – ICSOC 2013 Workshops : CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Cham [u.a.]: Springer, 2014

    Published in: Lecture notes in computer science ; 8377

  3. Lomuscio, Alessio R.

    Advances in symbolic model checking for multi-agent systems : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification : Invited Presentation at the Fifth International Symposium on Games, Automata, Logics and Formal Verification

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Open Publishing Association, 2014

    Published in: Electronic Proceedings in Theoretical Computer Science, 161 (2014), Seite 1-1

  5. Lomuscio, Alessio R.

    Model Checking Systems against Epistemic Specifications : Invited Presentation at the 1st International Workshop on Strategic Reasoning : Invited Presentation at the 1st International Workshop on Strategic Reasoning

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Open Publishing Association, 2013

    Published in: Electronic Proceedings in Theoretical Computer Science, 112 (2013), Seite 3-3