%0 Thesis %1 chen2004modelchecking %A Chen, Yijia %D 2004 %K %T Model-checking problems, machines and parameterized complexity

@phdthesis{chen2004modelchecking, added-at = {2023-12-12T17:38:27.000+0100}, author = {Chen, Yijia}, biburl = {https://www.bibsonomy.org/bibtex/28478a3577ba1ca8811e5f3fe698d13f9/admin}, dnbtitleid = {972568883}, interhash = {06a058c5fa56755aea9c6a5a98067e24}, intrahash = {8478a3577ba1ca8811e5f3fe698d13f9}, keywords = {}, school = {Uni Freiburg}, timestamp = {2023-12-12T17:38:27.000+0100}, title = {Model-checking problems, machines and parameterized complexity}, year = 2004 }