Bounded Model Checking With Description Logic Reasoning
| Title | Bounded Model Checking With Description Logic Reasoning |
|---|---|
| Author | |
| Year of Publication |
2007
|
| Conference Name |
Bounded Model Checking With Description Logic Reasoning
|
| DOI |
10.1007/978-3-540-73099-6_7
|
| Download citation |