Mostra 1 - 2 risultati di 2 ricerca 'Baier, Christel', tempo di risposta: 0,01s Raffina i risultati
  1. 1

    Principles of model checking di Baier, Christel

    Pubblicazione 2008
    Table of contents only
    Libro

    Principles of model checking
  2. 2

    Denotational linear time semantics and sequential composition. di Baier, Christel

    Articolo

    Denotational linear time semantics and sequential composition.

Strumenti per la ricerca: