Treffer 1 – 3 von 3 für Suche 'Lomuscio, Alessio', Suchdauer: 0,04s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Bounded model checking for interpreted systems

    Bounded model checking for interpreted systems von Penczek, Wojciech, Lomuscio, Alessio

    Veröffentlicht 2002
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Model checking security protocols: a multi-agent system approach

    Model checking security protocols: a multi-agent system approach von Lomuscio, Alessio, Penczek, Wojciech

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Unbounded model checking for knowledge and time

    Unbounded model checking for knowledge and time von Kacprzak, Magdalena, Lomuscio, Alessio, Penczek, Wojciech

    Veröffentlicht 2003
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: