XML query evaluation via CTL symbolic model checking
| Authors | |
|---|---|
| Publication date | 2004 |
| Book title | Proceedings of the ESSLLI 2004 Student Session |
| Organisations |
|
| Document type | Conference contribution |
| Permalink to this page | |