.gif)
Verifikation von Informationssystemen durch Model Checking
| 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 |