|
|
Publications
Deprecated: Function ereg_replace() is deprecated in /www/docs/pub_bibtex_list.php on line 175
@techreport{icps-1998-104,
title = "Advances in parameterized linear diophantine equations for precise program analysis",
author= "Ph. Clauss",
month = "September",
year = "1998",
}