Suchergebnisse - Ribeiro, Leila

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

    Parallel composition and unfolding semantics of graph grammars
    von Ribeiro, Leila

    Veröffentlicht 1996
    Inhaltsverzeichnis
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Algebraic high-level net transformation systems
    von Padberg, Julia, Ehrig, Hartmut 1944-2016, Ribeiro, Leila

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Formal development of concurrent systems using algebraic high-level nets and transformations
    von Ribeiro, Leila, Ehrig, Hartmut 1944-2016, Padberg, Julia

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specification
    von Ribeiro, Leila

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    A telephone's system specification using graph grammars
    von Ribeiro, Leila

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    Algebraic high level nets: Petri nets revisited
    von Ehrig, Hartmut 1944-2016, Padberg, Julia, Ribeiro, Leila

    Veröffentlicht 1993
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    Algebraic high-level nets and transformations with initial marings
    von Ribeiro, Leila, Padberg, Julia

    Veröffentlicht 1994
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Extension of PROSOFT in order to integrate correct software tools obtained from algebraic specifications
    von Ribeiro, Leila

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Formal methods: foundations and applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Ribeiro, Leila …”
    Online lesen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  10. 10
    Buchumschlag

    Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

    Veröffentlicht 2024
    Weitere beteiligte Personen: “… Ribeiro, Leila …”
    Online lesen
    Elektronisch E-Book


    Gespeichert in:
  11. 11
    Buchumschlag

    Formal methods: foundations and applications: 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Ribeiro, Leila …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: