Search
Now showing items 81-85 of 85
KIV 3.0 for Provably Correct Systems
Balser, Michael et al. (1999)
Beitrag zu einer Konferenz
Kommunikationsorientierte Analyse und Gestaltung von Arbeitskontexten (KOALA)
Schwarz, Michael; Sinz, E. J. (1999)
Beitrag zu einer Konferenz
A Powerful Transformation Rule, its Applications and Variants
Achatz, Klaus; Partsch, Helmuth (1997)
Beitrag zu einer Konferenz
Structuring graphical paradigms in TkGofer
Claessen, K.; Vullinghs, Ton; Meijer, E.; Peyton Jones, S. (1997)
Beitrag zu einer Konferenz
Representing and Processing Various Knowledge Types in an Anaesthesia Information System
Greiner, C. et al. (1998)
Beitrag zu einer Konferenz