Go to the corresponding LIPIcs Volume Portal 
pdfformat: 

@InProceedings{aiswarya_et_al:LIPIcs:2020:13275, author = {C. Aiswarya and Paul Gastin}, title = {{Weighted Tiling Systems for Graphs: Evaluation Complexity}}, booktitle = {40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)}, pages = {34:134:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771740}, ISSN = {18688969}, year = {2020}, volume = {182}, editor = {Nitin Saxena and Sunil Simon}, publisher = {Schloss DagstuhlLeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2020/13275}, URN = {urn:nbn:de:0030drops132753}, doi = {10.4230/LIPIcs.FSTTCS.2020.34}, annote = {Keywords: Weighted graph tiling, tiling automata, Evaluation, Complexity, Treewidth} }
Keywords:  Weighted graph tiling, tiling automata, Evaluation, Complexity, Treewidth  
Collection:  40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020)  
Issue Date:  2020  
Date of publication:  04.12.2020 