Model Checking the Basic Modalities of CTL With Description Logic
| Title | Model Checking the Basic Modalities of CTL With Description Logic |
|---|---|
| Author | |
| Year of Publication |
2006
|
| Conference Name |
Model Checking the Basic Modalities of CTL With Description Logic
|
| URL |
http://ceur-ws.org/Vol-189/submission_33.pdf
|
| Download citation |