Ralf Pinger. Verifikation von Informationssystemen durch Model Checking. In Marc H. Scholl, Holger Riedel, Torsten Grust, Dieter Gluche, editors, Kurzfassungen - 10. Workshop Grundlagen von Datenbanken , Workshop des GI-Arbeitskreises in Konstanz, 2.6.-5.6.1998. Volume 63 of Konstanzer Schriften in Mathematik und Informatik, pages 98-103, Universität Konstanz, 1998. [doi]
Abstract is missing.