@inproceedings{Nielson02Automatic, author = {Flemming Nielson and Hanne Riis Nielson and Helmut Seidl}, title = {Automatic {C}omplexity {A}nalysis}, booktitle = {Programming Languages and Systems}, editor = {Daniel Le M\'etayer}, month = {April}, year = 2002, pages = {243-261}, series = {Lecture Notes in Computer Science}, volume = {2305}, publisher = {Springer}, address = {Grenoble, France}, }