Title | Verifikation von Informationssystemen durch Model Checking |
Publication Type | Conference Proceedings |
Year of Conference | 1998 |
Authors | Pinger, R. |
Conference Name | 10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998 |
Pagination | 99-103 |
Publisher | Konstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz |
Abstract | no |
Public | no |