Suchergebnisse - Dimitrov, Evgenij

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

    Analysesytem MARS: Syntax- und Semantikdefinition der Netzbeschreibungssprache NDL
    von Dimitrov, Evgenij, Leipner, Peter, Grützner, Rolf

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Analysis and formal verification of SDL'92 specifications using extended Petri nets
    von Fischer, Joachim, Dimitrov, Evgenij, Taubert, Udo

    Veröffentlicht 1995
    Buch


    Gespeichert in:

Suchwerkzeuge: