Suchergebnisse - Caucal, Didier

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

    An elementary bisimulation decision procedure for arbitrary context free processes
    von Burkart, Olaf, Caucal, Didier, Steffen, Bernhard

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Branching bisimulation for context-free processes
    von Caucal, Didier, Huynh, Dung, Tian, Lu

    Veröffentlicht 1992
    Buch


    Gespeichert in:

Suchwerkzeuge: