Difference between revisions of "People:Jürgen Giesl"

From Termination-Portal.org
Jump to navigationJump to search
(New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...)
 
Line 9: Line 9:
 
|middlenames=
 
|middlenames=
 
|lastname=Giesl
 
|lastname=Giesl
|titles=
 
 
|email=giesl@informatik.rwth-aachen.de
 
|email=giesl@informatik.rwth-aachen.de
 
|homepage=http://verify.rwth-aachen.de/giesl/
 
|homepage=http://verify.rwth-aachen.de/giesl/

Revision as of 18:02, 29 March 2008


{{{titles}}} Jürgen Giesl