Suchergebnisse - Barnard, Dieter

  • Treffer 1 – 3 von 3
Treffer filtern
  1. 1
    Buchumschlag

    Temporal language of transitions and client server systems
    von Barnard, Dieter

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Model checking for the modal mu-calculus using Gauß elimination
    von Barnard, Dieter, Mader, Angelika

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Temporal language of transitions and client server systems
    von Barnard, Dieter

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:

Suchwerkzeuge: