A model-based approach to consistency-checking

Autor:	Brüning, Stefan, Schaub, Torsten H.
Jazyk:	angličtina
Rok vydání:	1996
Předmět:	Institut für Informatik und Computational Science
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______266::bac2554fb29b3a7ca1d0d07ff0f9c683 https://publishup.uni-potsdam.de/frontdoor/index/index/docId/25465 Zobrazit plný text záznamu