%0 Journal Article %1 journals/tcs/BozzelliLP11 %A Bozzelli, Laura %A Legay, Axel %A Pinchinat, Sophie %D 2011 %J Theor. Comput. Sci. %K dblp %N 49 %P 6795-6808 %T Hardness of preorder checking for basic formalisms. %U http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#BozzelliLP11 %V 412

@article{journals/tcs/BozzelliLP11, added-at = {2011-11-03T00:00:00.000+0100}, author = {Bozzelli, Laura and Legay, Axel and Pinchinat, Sophie}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23c4b1319bd9b78efcda108c58fc12563/dblp}, ee = {http://dx.doi.org/10.1016/j.tcs.2011.08.037}, interhash = {4ad2013d3d4a41db38747c10e0ca2b2a}, intrahash = {3c4b1319bd9b78efcda108c58fc12563}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 49, pages = {6795-6808}, timestamp = {2016-02-02T10:03:47.000+0100}, title = {Hardness of preorder checking for basic formalisms.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs412.html#BozzelliLP11}, volume = 412, year = 2011 }