Suchergebnisse - Jančar, Petr

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

    Deciding finiteness of Petri nets up to bisimulation
    von Jančar, Petr

    Veröffentlicht 1995
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Deciding bisimulation like equivalences with finite state processes
    von Jančar, Petr, Kučera, Antonín 1926-, Mayr, Richard

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    High undecidability of weak bisimilarity for Petri nets
    von Jančar, Petr

    Veröffentlicht 1994
    Buch


    Gespeichert in:

Suchwerkzeuge: