@inproceedings{Seidl07Interprocedurally, author = {Helmut Seidl and Andrea Flexeder and Michael Petter}, title = {Interprocedurally {A}nalysing {L}inear {I}nequality {R}elations}, booktitle = {Programming Languages and Systems}, editor = {Rocco De Nicola}, month = {April}, year = 2007, pages = {284-299}, series = {Lecture Notes in Computer Science}, volume = {4421}, publisher = {Springer}, doi = {10.1007/11672142_3}, address = {Braga, Portugal}, }