Treffer 1 – 3 von 3 für Suche 'Bradfield, Julian 1964-', Suchdauer: 0,03s 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
    An effective tableau system for the linear time mu calculus

    An effective tableau system for the linear time mu calculus von Bradfield, Julian 1964-, Esparza, Javier 1964-, Mader, Angelika

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Verifying temporal properties of systems with applications to petri nets

    Verifying temporal properties of systems with applications to petri nets von Bradfield, Julian 1964-

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Verifying temporal properties of systems

    Verifying temporal properties of systems von Bradfield, Julian 1964-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: