Verifikation von Informationssystemen durch Model Checking

TitleVerifikation von Informationssystemen durch Model Checking
Publication TypeConference Proceedings
Year of Conference1998
AuthorsPinger, R.
Conference Name10. Workshop Grundlagen von Datenbanken, Konstanz, June 2-5 1998
Pagination99-103
PublisherKonstanzer Schriften in Mathematik und Informatik Nr. 63, Univ. Konstanz
Abstract

no

Publicno