Suchergebnisse - Goltz, Ursula

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

    Über die Darstellung von CCS-Programmen durch Petrinetze
    von Goltz, Ursula

    Veröffentlicht 1988
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Bewertung einer WWW-Datenbank in Anlehnung an ISO 9241-10
    von Buschardt, B., Goltz, Ursula

    Veröffentlicht 1997
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

    Equivalences and refinement
    von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Über die Darstellung von CCS-Programmen durch Petrinetze
    von Goltz, Ursula

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

    Towards a non-interleaving semantic model for CSP-like languages
    von Goltz, Ursula, Loogen, Rita

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

    A deadlock-sensitive congruence for action refinement
    von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  7. 7
    Buchumschlag

    CSP-programs as nets with individual tokens
    von Goltz, Ursula, Reisig, Wolfgang 1950-

    Veröffentlicht 1984
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Konzepte der Programmiersprache ADA
    von Goltz, Ursula

    Veröffentlicht 1980
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

    Causal testing
    von Goltz, Ursula, Wehrheim, Heike

    Veröffentlicht 1996
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

    On syntactic and semantic action refinement
    von Goltz, Ursula, Giorrieri, Roberto, Rensink, Arend

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

    Refinement of actions and equivalence notions for concurrent systems
    von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1998
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Über die Darstellung von CCS-Programmen durch Petrinetze
    von Goltz, Ursula

    Veröffentlicht 1988
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  13. 13
    Buchumschlag

    Über die Darstellung von CCS-Programmen durch Petrinetze
    von Goltz, Ursula

    Veröffentlicht 1988
    Hochschulschrift/Dissertation Buch


    Gespeichert in:
  14. 14
    Buchumschlag

    On syntactic and semantic action refinement
    von Goltz, Ursula, Gorrieri, Roberto, Rensink, Arend

    Veröffentlicht 1992
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Equivalences and Refinement
    von Glabbeek, Rob van, Goltz, Ursula

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    Building structured Petri nets
    von Goltz, Ursula

    Veröffentlicht 1986
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Towards a non-interleaving semantic model for CSP-like languages
    von Goltz, Ursula, Loogen, Rita

    Veröffentlicht 1985
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

    Informatik 2012: Was bewegt uns in der/die Zukunft? ; 42. Jahrestagung der Gesellschaft für Informatik e.V. (GI) ; 16. - 21.9.2012, TU Braunschweig]

    Veröffentlicht 2012
    Weitere beteiligte Personen: “… Goltz, Ursula …”
    Elektronisch Software E-Book


    Gespeichert in:
  19. 19
    Buchumschlag

    Special issue: combining compositionality and concurrency: part 2

    Veröffentlicht 2015
    Weitere beteiligte Personen: “… Goltz, Ursula …”
    Buch


    Gespeichert in:

Suchwerkzeuge: