Anwendung temporaler Logiken zur Überwachung dynamischer Integritätsbedingungen von Datenbanken
By: Heren Zhou
Contributors: Universität Hannover
Published: 1994
Language: ger
Notes: Thesis (doctoral)--Universität Hannover, 1994.

In German; summaries in German or English.