Skip to contents

  1. Esparza, Javier [Author]; Heljanko, Keijo [Author]

    Unfoldings : a partial-order approach to model checking

    Books
    Close

    Bookmarks

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

    Berlin; Heidelberg: Springer, 2008

    Published in: Monographs in theoretical computer science : an EATCS series

  2. Petris, Giovanni [Author]; Petrone, Sonia [Author]; Campagnoli, Patrizia [Author]

    Dynamic linear models with R

    Books
    Close

    Bookmarks

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

    New York, NY [u.a.]: Springer, 2009

    Published in: Use R!

  3. Göller, Stefan [Author]; Lohrey, Markus [Author]

    Infinite state model checking of propositional dynamic logics

    Books
    View online
    Close

    Bookmarks

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

    Stuttgart: Fakultät Informatik, Elektrotechnik und Informationstechnik, 2006 ; Online-Ausg.: Stuttgart: Universitätsbibliothek der Universität Stuttgart

    Published in: Technischer Bericht ; 2006,4