• 

  BGH, Logikverifikation - JurPC-Web-Dok. 0072/2000

  http://www.jurpc.de/rechtspr/20000072.htm

  Keine Beschreibung vorhanden.

• 

  BGH, Beschluss vom 13. 12. 1999 – X ZB 11/98

  http://lexetius.com/1999,346

  Volltext von BGH, Beschluss vom 13. 12. 1999 – X ZB 11/98

• 

  Theses directed

  http://xputers.informatik.uni-kl.de/staff/hartenstein/HartensteinTheses.html

  Keine Beschreibung vorhanden.

---

---