Bounded Model Checking with Description Logic Reasoning (Q5434479)
From MaRDI portal
scientific article; zbMATH DE number 5223546
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bounded Model Checking with Description Logic Reasoning |
scientific article; zbMATH DE number 5223546 |
Statements
Bounded Model Checking with Description Logic Reasoning (English)
0 references
4 January 2008
0 references
