 |
Generalized Model-Checking over Locally Tree-Decomposable Classes
| Book Series | Lecture Notes in Computer Science |
| Publisher | Springer Berlin / Heidelberg |
| ISSN | 0302-9743 (Print) 1611-3349 (Online) |
| Volume | Volume 2285/2002 |
| Book | STACS 2002 |
| DOI | 10.1007/3-540-45841-7 |
| Copyright | 2002 |
| ISBN | 978-3-540-43283-8 |
| DOI | 10.1007/3-540-45841-7_52 |
| Page | 731 |
| Subject Collection | Computer Science |
| SpringerLink Date | Tuesday, January 01, 2002 |
| |
|