Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{courcelle:LIPIcs:2010:2849, author = {Bruno Courcelle}, title = {{Special treewidth and the verification of monadic secondorder graph pr operties}}, booktitle = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)}, pages = {1329}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897231}, ISSN = {18688969}, year = {2010}, volume = {8}, editor = {Kamal Lodaya and Meena Mahajan}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2849}, URN = {urn:nbn:de:0030drops28494}, doi = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2010.13}, annote = {Keywords: modelchecking, monadic secondorder logic, fixedparameter tractability, special treewidth} }
Keywords:  modelchecking, monadic secondorder logic, fixedparameter tractability, special treewidth  
Seminar:  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010)  
Issue Date:  2010  
Date of publication:  14.12.2010 