Journals in DBLP

Inform., Forsch. Entwickl.
1996, volume: 11, number: 2

1. Jürgen Avenhaus, Klaus Madlener
   Theorembeweisen in hierarchischen bedingten Spezifikationen. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:53-60 [Journal]
   
2. Christoph Brzoska
   Temporales logisches Programmieren. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:61-68 [Journal]
   
3. Bernhard Ziegler
   ESS - Ein schneller Algorithmus zur Mustersuche in Zeichenfolgen. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:69-83 [Journal]
   
4. Hans-Jörg Bullinger, Klaus-Peter Fähnrich, Christian Janssen
   Ein Beschreibungskonzept für Dialogabläufe bei graphischen Benutzerschnittstellen. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:84-93 [Journal]
   
5. Volker Gruhn
   Geschäftsprozeß-Management als Grundlage der Software-Entwicklung. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:94-101 [Journal]
   
6. Hans-Jörg Bullinger, K. F. Wißler
   Rapid Product Development und Erprobung Innovativer Produkte - Sonderforschungsbereich 374. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:103-107 [Journal]